diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2013-12-10 10:22:03 +0100 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2013-12-10 10:22:03 +0100 |
| commit | 3e972b3ff8e532be233f70567c87512324c99b4e (patch) | |
| tree | 78ab9cde76b6b98a649c869784767eda11d6dfe0 /ide/ideutils.ml | |
| parent | 0b4de5132a8fcda6dafe836dd249a4fc69b400fc (diff) | |
Renaming elisp files to avoid conflict with pg in distribs.
Diffstat (limited to 'ide/ideutils.ml')
0 files changed, 0 insertions, 0 deletions