- Sep 01, 2012
-
-
Raymond Toy authored
* Get rid of the RCS Header stuff. They're meaningless in git. * Add public domain comment to some of the files if the only comment was the RCS header.
-
- Nov 04, 2011
-
-
Raymond Toy authored
-
- Sep 15, 2005
-
-
rtoy authored
.indent.pro.
-
- Feb 11, 1994
-
-
cvs2git authored
-
- Jan 13, 1993
-
-
cvs2git authored
-
- Jul 28, 1992
-
-
wlott authored
-