Ben Sturmfels e6f8beeea4 Remove Debian 10 development Dockerfile. ...

Debian 11 has been released, so future releases need not provide explicit
support for Debian 10.

2021-08-15 22:35:45 +10:00

..

source

Remove Debian 10 development Dockerfile.

2021-08-15 22:35:45 +10:00

Makefile

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

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