diff options
| author |  Stephane Glondu <steph@glondu.net> | 2009-08-29 16:55:03 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2009-08-29 16:59:16 +0200 |
| commit | d8e2663f7445de8536e71e16655bd083806360c1 (patch) | |
| tree | 491490c95051dd6f87d3357d3ef399d9de47b134 /theories | |
| parent | 52af446e4104d711a4fce53438b4bd29920a5e3d (diff) | |
Various updates, prepare upload to unstabledebian/8.2.pl1+dfsg-3
Diffstat (limited to 'theories')
0 files changed, 0 insertions, 0 deletions