| commit | ea7ce108003d3eaaa75f2bf455febe6ffbad0e21 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Sep 13 19:58:40 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Sep 13 19:58:40 2000 +0000 |
| tree | f1fbf801deb4f376f3963d4b60bfbb0b272a5f63 | |
| parent | df23f33f9bea953d980d558c249e50bb020e3cff [diff] |
Include Numerical header files in developer distribution.