commit | 2cf08ab4c2ef9743b35e61414c978555e2c6815d | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Sun Jan 19 21:53:57 2003 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Sun Jan 19 21:53:57 2003 +0000 |
tree | a366fb5e447728555fac03e5eb6f209fa371e490 | |
parent | 28256f276e1d61d54301b874958fc78c26117c9e [diff] |
Sigh, due to sloppiness on my part bgen has become pretty mixed up wrt. tabs and spaces. Detabbed the lot.