mirror of
https://github.com/GnoConsortium/gno.git
synced 2025-02-07 02:30:56 +00:00
out of 13/RInclude instead of /src/gno/build.tools. This implies that builddate.rez has to have been previously installed in 13/RInclude; this is done by the 'install' and 'release' targets in /src/gno/build.tools.