0.6.7.22: removed CVS dollar-Header-dollar tags from sources
[sbcl.git] / PRINCIPLES
2000-09-18 William Harold NewmanInitial revision