summaryrefslogtreecommitdiff
path: root/proofs
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2012-09-22 12:43:41 +0200
committerGravatar Stephane Glondu <steph@glondu.net>2012-09-22 12:51:26 +0200
commiteabf57d06ca1eafa762d7f31262e5515401eff55 (patch)
treed7a48e9c6848cf8a999b966b1a7b0ac8b2351280 /proofs
parentdcdaa8517bfaedcf4ce97380d39011d976fc1b64 (diff)
Update changelog and prepare upload to experimentaldebian/8.4dfsg-2
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions