mirror of
https://github.com/GnoConsortium/gno.git
synced 2025-02-11 12:30:31 +00:00
- run the (generated) /tmp/mklinks script so that certain programs are duplicated under different names. It would be nice to have symlinks instead.