projects / git-tools-moved-to-github.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b9d3e18) | patch
Rename build deb script for Docker
authorAdam Dickmeiss <adam@indexdata.dk>
Thu, 12 Jan 2017 09:02:39 +0000 (10:02 +0100)
committerAdam Dickmeiss <adam@indexdata.dk>
Thu, 12 Jan 2017 09:02:39 +0000 (10:02 +0100)
commita384750daf80175f62b4055827af124e4d398f76
tree3c3aebc093f9adefe0819e15916420f870c3b79btree | snapshot
parentb9d3e181862ea17752bbbaeed555f54c9090c9b3commit | diff
Rename build deb script for Docker
id-deb-build/docker-build.sh diff | blob | history
id-deb-build/in-docker-deb.sh [new file with mode: 0755] blob
id-deb-build/in-docker.sh [deleted file] blob | history
ID Git Tools.