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 /toplevel/classes.ml | |
parent | cd46e5dd680be14a5f5401cfc00af3a7d2ad8847 (diff) |
Create bin/ in configure instead of clean
...avoiding problems with clean run as root
Diffstat (limited to 'toplevel/classes.ml')
0 files changed, 0 insertions, 0 deletions