diff options
| author | David Aspinall | 2000-03-19 06:52:52 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-19 06:52:52 +0000 |
| commit | e852df77fa93180fcf01dadc3308161893fe475d (patch) | |
| tree | d9c4732dc2bedd35a0a3f4476e54b1db9a65429f /html/devel.phtml | |
| parent | f08daaaa648cb6b9aedee3885b82a806d224c867 (diff) | |
Added proof-{mode}-font-lock-keywords configuration settings (used by easy-config). Also silent threshold
Diffstat (limited to 'html/devel.phtml')
0 files changed, 0 insertions, 0 deletions