diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-03-01 00:40:15 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-03-01 00:40:15 +0000 |
| commit | 3cfba3af1e9bb91b380356823d74a30a5fb3565d (patch) | |
| tree | 8e37077a9c5540ba40d144c937e7f97f700670c5 /etc/desktop/proofgeneral.desktop | |
| parent | 176296387601b09c8f26c072266d83af7ab793cf (diff) | |
New file
Diffstat (limited to 'etc/desktop/proofgeneral.desktop')
0 files changed, 0 insertions, 0 deletions