diff options
| author |  Stephane Glondu <steph@glondu.net> | 2008-09-07 18:05:26 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2008-09-08 00:16:26 +0200 |
| commit | cdce320e124a3fcba458fad3c638940ce8f993ce (patch) | |
| tree | 35eef1ffafe1ad6a61f8354d2b243539c6999f99 /tactics/hiddentac.ml | |
| parent | 5c6894942e4de978963144606e89db432c306625 (diff) | |
Bump debhelper compatibility level to 7
Diffstat (limited to 'tactics/hiddentac.ml')
0 files changed, 0 insertions, 0 deletions