Ben Sturmfels 93084dfe28 Document re-installation of plugins during upgrade [#5611].

2021-04-09 15:19:50 +10:00

..

source

Document re-installation of plugins during upgrade [#5611].

2021-04-09 15:19:50 +10:00

Makefile

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

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