commit | ebed75116fcd1ebc4737c4ba77b9b74c8b032742 | [log] [tgz] |
---|---|---|
author | Jack Jansen <jack.jansen@cwi.nl> | Tue May 16 13:47:03 1995 +0000 |
committer | Jack Jansen <jack.jansen@cwi.nl> | Tue May 16 13:47:03 1995 +0000 |
tree | ee10da97ba30b2d0740ce01eef71aa8d74c1b19e | |
parent | 52e02998ef9d0c5643cf037f2db3cc5cf7c8c451 [diff] |
Templates converted to new naming conventions (thanks to Chak Tan)