mirror of https://github.com/GnoConsortium/gno.git
add newline at end
This commit is contained in:
parent
ab2be98bb1
commit
be00396c26
|
@ -39,3 +39,4 @@ This should normally only be done for the official GNO web server.
|
|||
|
||||
To install the reference manuals:
|
||||
make install
|
||||
|
||||
|
|
Loading…
Reference in New Issue