diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2007-12-12 12:42:26 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2007-12-12 12:42:26 +0000 |
commit | 2067f9cbf42a7fab36a1eff3a9e725c8678c39c5 (patch) | |
tree | 66becfb3fcbe64a413b0368547f726317d8fb34d /etc/ProofGeneral.desktop | |
parent | 3bd365769b79cd8719b4c8078755b68912dd4c6d (diff) |
Added a sample file for utf8.
Diffstat (limited to 'etc/ProofGeneral.desktop')
0 files changed, 0 insertions, 0 deletions