projects / gringo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(initial) | patch
Import gringo_4.4.0-1.debian.tar.xz
authorThomas Krennwallner <tkren@kr.tuwien.ac.at>
Mon, 18 Aug 2014 15:10:34 +0000 (16:10 +0100)
committerThomas Krennwallner <tkren@kr.tuwien.ac.at>
Mon, 18 Aug 2014 15:10:34 +0000 (16:10 +0100)
commitb2c25b42b44d0fd86dd26a15d4299c9e31608001
tree1018c17b266469478a0ff47c94168256f12c819ctree | snapshot
Import gringo_4.4.0-1.debian.tar.xz

[dgit import tarball gringo 4.4.0-1 gringo_4.4.0-1.debian.tar.xz]
13 files changed:
changelog [new file with mode: 0644] blob
compat [new file with mode: 0644] blob
control [new file with mode: 0644] blob
copyright [new file with mode: 0644] blob
docs [new file with mode: 0644] blob
gringo.links [new file with mode: 0644] blob
gringo.manpages [new file with mode: 0644] blob
install [new file with mode: 0644] blob
patches/gringo-manpages.patch [new file with mode: 0644] blob
patches/series [new file with mode: 0644] blob
rules [new file with mode: 0755] blob
source/format [new file with mode: 0644] blob
watch [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.