Ben Sturmfels 1f4ac7249f Say git submodule update --init - it's shorter.

2021-03-09 22:21:58 +11:00

..

source

Say git submodule update --init - it's shorter.

2021-03-09 22:21:58 +11:00

Makefile

Added an "htmlview" target to open docs after building them.

2015-01-09 23:05:04 +02:00