diff options
| author | David Aspinall | 1998-10-22 17:38:37 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-22 17:38:37 +0000 |
| commit | bed25bc850b8d6e50d56a9dd4b30e1fca2eb086a (patch) | |
| tree | 0aac2a1b76d50df5a995663b5b99ea81d266d07f /etc | |
| parent | 0a13df791bfca5cc0d89d4dd38bc787245a97799 (diff) | |
Added deffaces to proof-config
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions