summaryrefslogtreecommitdiff
path: root/lang/coq/PLIST
diff options
context:
space:
mode:
authorcegger <cegger@pkgsrc.org>2012-10-29 09:46:46 +0000
committercegger <cegger@pkgsrc.org>2012-10-29 09:46:46 +0000
commitd27b7a056cfac2a55c060b124cac90e0bf6f35d9 (patch)
tree33f13273924eccbc327e4daaee9fc8c391b66c48 /lang/coq/PLIST
parent98c2072bd0a4142a2a0403e6a331eb8a31ea9430 (diff)
downloadpkgsrc-d27b7a056cfac2a55c060b124cac90e0bf6f35d9.tar.gz
Do not hardcode pathes. Use ${X11BASE} instead.
Diffstat (limited to 'lang/coq/PLIST')
0 files changed, 0 insertions, 0 deletions