diff options
author | Stephane Glondu <steph@glondu.net> | 2010-12-01 11:26:53 +0100 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2010-12-01 13:36:59 +0100 |
commit | ca297726cd05e93f49e69ec798140b2ee77304b3 (patch) | |
tree | 84145dfc90f7bf619a15e17bf6fca3fb9da6f3e3 /debian/libaac-tactics-coq.install.in | |
parent | aa51449cb692a9a1d183b2663679645aba16b036 (diff) |
New upstream release
Diffstat (limited to 'debian/libaac-tactics-coq.install.in')
0 files changed, 0 insertions, 0 deletions