diff options
| author | weber | 2007-05-17 15:19:56 +0000 |
|---|---|---|
| committer | weber | 2007-05-17 15:19:56 +0000 |
| commit | ac58f98f0ea13508d2e1d0b9bcbeaacce0541b0b (patch) | |
| tree | 713d23a8f380d194c520ac97fe8eb638fa4dbc6e /coq | |
| parent | 35b4b49f45fa204dbb3c1473c91835f60a8ed87b (diff) | |
XEmacs 21.4.15 does not seem to know propertize
Diffstat (limited to 'coq')
0 files changed, 0 insertions, 0 deletions