David E. O'Brien 2111e67c80 Fix this so it is a Makefile and not a shell script -- now issuing `make'
a second time does not rebuild the binary.
2000-08-04 08:30:00 +00:00
..
2000-07-29 10:07:38 +00:00
2000-07-29 10:07:38 +00:00
2000-08-03 16:37:46 +00:00
2000-07-25 18:57:20 +00:00
2000-07-29 10:07:38 +00:00
2000-07-28 22:03:08 +00:00