diff options
| author |  Stephane Glondu <steph@glondu.net> | 2014-07-27 15:25:13 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2014-07-27 15:25:13 +0200 |
| commit | 476d60ef0fe0ac015c1e902204cdd7029e10ef0f (patch) | |
| tree | 801068d8874a46c6a6354a82d82930b549e05be8 /coq.itarget | |
| parent | bbe199d7e9153d4244cd3cb5eb479c1482241464 (diff) | |
Prepare upload to unstabledebian/8.4pl4dfsg-1
Diffstat (limited to 'coq.itarget')
0 files changed, 0 insertions, 0 deletions