summaryrefslogtreecommitdiff
path: root/debian/patches/libmachdev.patch
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2013-07-07 22:10:09 +0000
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2013-07-07 22:10:09 +0000
commit02aba83b90e12657d14a3d416a72c49ee61ce4ab (patch)
treebfe815ae22f410f449e670585c33e3e50497ea7b /debian/patches/libmachdev.patch
parent049e0bcfa0d21cf2badc0871bbdfca3f1a7de291 (diff)
parent5a828b5de3ecb6b65adef7247679a97846d81b3d (diff)
Merge branch 'master' into HEAD
Conflicts: debian/changelog
Diffstat (limited to 'debian/patches/libmachdev.patch')
0 files changed, 0 insertions, 0 deletions