diff options
| author | jschauma <jschauma@pkgsrc.org> | 2005-05-26 19:17:37 +0000 |
|---|---|---|
| committer | jschauma <jschauma@pkgsrc.org> | 2005-05-26 19:17:37 +0000 |
| commit | 8d0398aaf9e5ead7d659409367f388cda3932bfa (patch) | |
| tree | 4439e1f8d014280de18c449fb09fdadf5f984d6c /lang/coq/patches | |
| parent | a58a00dea28ebf1c8bd46d3f982734b7249323ce (diff) | |
| download | pkgsrc-8d0398aaf9e5ead7d659409367f388cda3932bfa.tar.gz | |
Use DIST_SUBDIR to find the collections to set up upon installation.
This should address PR pkg/30335.
Diffstat (limited to 'lang/coq/patches')
0 files changed, 0 insertions, 0 deletions