diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2008-01-28 10:03:22 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2008-01-28 10:03:22 +0000 |
| commit | 355b108aa856e3118f721c4f169bd86186ad8ce3 (patch) | |
| tree | 3b93f618e53283722e5267c37cf63e0c086ee2d0 /lib/pg-dev.el | |
| parent | 2086154e7f462f1a73bfb6b99d179f86c39d1936 (diff) | |
Fixed a problem with a wrong side effect on syntax databases (when
sorting for menus).
Diffstat (limited to 'lib/pg-dev.el')
0 files changed, 0 insertions, 0 deletions