summaryrefslogtreecommitdiff
path: root/debian/patches
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2013-09-28 18:52:27 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-09-28 18:52:27 +0200
commit48cdeb4d37ba07b0bf031ec0d3d89000dbd8ffbc (patch)
treee93d13462da0ac18092c1dce13c842306c26d39b /debian/patches
parent068f1d79638fed37d860af48f2f548853a266a0c (diff)
Install documentation, depend on texinfo
Diffstat (limited to 'debian/patches')
0 files changed, 0 insertions, 0 deletions