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