diff options
| author |  Stephane Glondu <steph@glondu.net> | 2008-07-28 17:10:05 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2008-07-28 17:13:41 +0200 |
| commit | 284e68ace18db77fed501d3d64ff3cb54d44c02c (patch) | |
| tree | 39f1b8dc4ebaae06f501326e1e720a6e4dfa67ad /debian/coq.xpm | |
| parent | cd46e5dd680be14a5f5401cfc00af3a7d2ad8847 (diff) | |
Create bin/ in configure instead of clean
...avoiding problems with clean run as root
Diffstat (limited to 'debian/coq.xpm')
0 files changed, 0 insertions, 0 deletions