| commit | a43ad368ba23ec7314df55b871f54461c82526e2 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Tue Oct 23 22:23:02 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Tue Oct 23 22:23:02 2001 +0000 |
| tree | 2d5956127b89fbdc4356f5b0c8f470973996ea2d | |
| parent | 5d528b787ebac926228f535f8b30c9cd4bae0b0c [diff] |
quit() wasn't included in the suite. This is a quick manual patch to add it.