diff options
| author | raingloom <raingloom@riseup.net> | 2020-09-06 19:11:32 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2020-09-07 14:01:12 +0200 |
| commit | 1394765238c21030ace4fbb773dc86a9e3c2504c (patch) | |
| tree | 8055abc58f1736f0d57c42d557f5714c277760ba /gnu/tests | |
| parent | aecb61135c2edba236318b61fd0ac81832852a15 (diff) | |
gnu: coq: fix coqide not finding coqidetop.opt
* gnu/packages/coq.scm (coq) [arguments]:
Turn duplicates into symlinks instead of deleting them in remove-duplicate.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Diffstat (limited to 'gnu/tests')
0 files changed, 0 insertions, 0 deletions