diff options
author | Hendrik Tews <hendrik@askra.de> | 2012-05-08 08:11:52 +0000 |
---|---|---|
committer | Hendrik Tews <hendrik@askra.de> | 2012-05-08 08:11:52 +0000 |
commit | 40c1ffb035da3c6c58e53e8190cce672e42283d3 (patch) | |
tree | 2e4c577409de920d3f62ea763561999c8df0c2bb /coq/ex | |
parent | 14f719f2b971f10d8d40c18301c77c7758de9198 (diff) |
Use proof-add-to-load-path to extend load-path. This way,
distributions with specific requirements (such as Debian with
debian-pkg-add-load-path-item) only need to patch one function.
Diffstat (limited to 'coq/ex')
0 files changed, 0 insertions, 0 deletions