aboutsummaryrefslogtreecommitdiff
path: root/.quiltrc-dpkg
diff options
context:
space:
mode:
authorRyan Kavanagh <rak@debian.org>2013-07-25 08:54:36 -0400
committerRyan Kavanagh <rak@debian.org>2013-07-25 08:54:36 -0400
commit40210401b135c80dd15c0a180491fe175a7d7fb9 (patch)
tree204d24baf72fffb89cf96f65667a77397ac821be /.quiltrc-dpkg
parentSwitch github hosted git submodule to use https (diff)
New proof general version
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions