diff options
author | pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-11-20 20:02:56 +0000 |
---|---|---|
committer | pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-11-20 20:02:56 +0000 |
commit | e2da4610f7e27d289ada98383c079c3c939b20c6 (patch) | |
tree | 699717b8d6bffaa32b0ae177337d8904ea7d050a /ide/minilib.mli | |
parent | 1c535a5a1e6f4dcc35bd67a99a7236c6e7a222ab (diff) |
Teach coq_makefile how to install into XDG_DATA_HOME.
From Tom Prince.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14693 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/minilib.mli')
0 files changed, 0 insertions, 0 deletions