diff options
| author |  Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2009-09-01 09:38:18 +0000 |
|---|---|---|
| committer | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2009-09-01 09:38:18 +0000 |
| commit | cd812062ae30b076da7720301428e69847a7b579 (patch) | |
| tree | 11e464e4a614a8acb0485d113f26f9b8b3619985 /phox | |
| parent | f73b31e26145063226949b4cee279bf97ed4c35d (diff) | |
Fixed a parenthesis bug in pg-pbrpml.el + compatibility with 3.7 where proof-mode-for-script seems undefined
Diffstat (limited to 'phox')
0 files changed, 0 insertions, 0 deletions