| commit | 5a01fe005e3e40fcff0e67545a148253a140b638 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Dec 21 15:37:19 1995 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Dec 21 15:37:19 1995 +0000 |
| tree | 417260eec851b0c4a2833b351ed1cbc08b02188f | |
| parent | f4e7d2a396f820dd276bfa2d8cb1391a86d1aab8 [diff] |
Common header file for all plugin modules