repos / cl-unification / commit
summary | shortlog | log | tree | commit | commitdiff | headdiff
unified | plain | darcs
Marked the two system building files as 'obsolete', before removing
authormantoniotti
local dateFri, 09 Nov 2007 13:30:53
dateFri, 09 Nov 2007 13:30:53
hash20071109133053-0588d-261e1c087507fc1a11ca8c958e9298903f96fe13.gz
Marked the two system building files as 'obsolete', before removing

Marked the two system building files as 'obsolete', before removing
them from the repository. The new files are prefixed by 'cl-'.
2 file(s) changed:
unification.asd +5 -1 diff | history | annotate
unification.system +7 -0 diff | history | annotate
Sally sells sea-shells by the sea shore.