commit | 11493bc65ffc24f3c32f54e3a145e2ff69cd2ccb | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Tue May 22 22:18:21 2001 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Tue May 22 22:18:21 2001 +0000 |
tree | ff81a7e94e647cee2997c2ae39b69eb113d04b66 | |
parent | 98cfab65234d3a8d1708f9c021d17db1c8a661bb [diff] |
Simple script to regenerate all bgen-generated modules.