jgart ec74b6d032

Remove Mozilla Persona plugin [#5512]. ...

Mozilla persona is RIP since 2016.

Signed-off-by: Ben Sturmfels <ben@sturm.com.au>

2021-04-23 17:48:03 +10:00

..

source

Remove Mozilla Persona plugin [#5512].

2021-04-23 17:48:03 +10:00

Makefile

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

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