]> granicus.if.org Git - icinga2/commitdiff
projects / icinga2 / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 571321f)
Move dev/ to tools/docker
authorMichael Friedrich <michael.friedrich@gmail.com>
Fri, 13 Jun 2014 18:07:36 +0000 (20:07 +0200)
committerMichael Friedrich <michael.friedrich@gmail.com>
Fri, 13 Jun 2014 18:07:36 +0000 (20:07 +0200)
refs #6481

tools/docker/.gitignore [moved from dev/.gitignore with 100% similarity] patch | blob | history
tools/docker/README [moved from dev/README with 100% similarity] patch | blob | history
tools/docker/clean [moved from dev/clean with 100% similarity] patch | blob | history
tools/docker/docker/build [moved from dev/docker/build with 100% similarity] patch | blob | history
tools/docker/run [moved from dev/run with 100% similarity] patch | blob | history

diff --git a/dev/.gitignore b/tools/docker/.gitignore
similarity index 100%
rename from dev/.gitignore
rename to tools/docker/.gitignore
diff --git a/dev/README b/tools/docker/README
similarity index 100%
rename from dev/README
rename to tools/docker/README
diff --git a/dev/clean b/tools/docker/clean
similarity index 100%
rename from dev/clean
rename to tools/docker/clean
diff --git a/dev/docker/build b/tools/docker/docker/build
similarity index 100%
rename from dev/docker/build
rename to tools/docker/docker/build
diff --git a/dev/run b/tools/docker/run
similarity index 100%
rename from dev/run
rename to tools/docker/run
Unnamed repository; edit this file 'description' to name the repository.