diff options
author | 2003-03-01 11:33:35 +0000 | |
---|---|---|
committer | 2003-03-01 11:33:35 +0000 | |
commit | fb189265d3695c0160cf098ac191d2f5f54fbee8 (patch) | |
tree | 6250682683e16fdd97c0567f4c36d965be7666df /x-symbol/pkginfo | |
parent | acef2f57efd3af23836c7ccf0fe39ae4cc76222c (diff) |
This commit was manufactured by cvs2git to create branch 'xsym'.
Cherrypick from master 2003-03-01 11:33:34 UTC David Aspinall <da@inf.ed.ac.uk> 'New files.':
x-symbol/README.x-symbol-for-ProofGeneral
x-symbol/info/x-symbol.info
Diffstat (limited to 'x-symbol/pkginfo')
0 files changed, 0 insertions, 0 deletions