| commit | 0511b764d1eba1e4f24b273ee3527c8ffcefb714 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Sep 06 16:36:42 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Sep 06 16:36:42 2001 +0000 |
| tree | 225efa25360803b32935cecc204c03eae4444b30 | |
| parent | 638e5e39cf4c6994e46e2810b43dfd7856495a90 [diff] |
Minimal instructions for using the Makefile here. Also a clear statement that this is a proof-of-concept meant for people to experiment with, nothing more.