081b1f1707
This was previously set using substituteInPlace, but this leads to duplicate search paths. |
||
---|---|---|
.. | ||
arduino | ||
compilers | ||
coq-modules | ||
dotnet-modules/patches | ||
eclipse | ||
erlang-modules | ||
go-modules | ||
guile-modules | ||
haskell-modules | ||
idris-modules | ||
interpreters | ||
libraries | ||
lisp-modules | ||
lua-modules | ||
misc | ||
mobile | ||
ocaml-modules | ||
perl-modules | ||
pharo | ||
pure-modules | ||
python-modules | ||
qtcreator | ||
r-modules | ||
ruby-modules | ||
tools | ||
web |