chiark / gitweb /
~mdw / become / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 69ec21e) | patch
No longer necessary. Not actually sure what it was doing in the
authormdw <mdw>
Wed, 24 Sep 1997 13:30:13 +0000 (13:30 +0000)
committermdw <mdw>
Wed, 24 Sep 1997 13:30:13 +0000 (13:30 +0000)
commitd6c74786e5fe77c64b93fab756486d64b2d6293d
tree28a5c6021e70ad6abec8b228c1d4bc00bf2e6c65tree | snapshot
parent69ec21eebb2517e058f384151f0a77cc7820500dcommit | diff
No longer necessary.  Not actually sure what it was doing in the
repository anyway.
manual/syntax.sty [deleted file] blob | blame | history
Management for shared accounts