summaryrefslogtreecommitdiff
path: root/debian/patches/makedev.diff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2013-07-07 22:07:57 +0000
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-07-07 22:09:06 +0000
commit049e0bcfa0d21cf2badc0871bbdfca3f1a7de291 (patch)
tree81e7c1a8a56380a91c5fe133f7df6777c8396527 /debian/patches/makedev.diff
parentd5717ce6f31a81dd8a02b595c2833ede66d7561a (diff)
parentbf5c437c82625cd44897faaa84ac81c470423846 (diff)
Merge branch 'upstream-merged' into HEAD
Diffstat (limited to 'debian/patches/makedev.diff')
0 files changed, 0 insertions, 0 deletions