mathieui 6cc1360a3a Remove the GPG plugin ... It’s broken and nobody is using it as far as I know.		2018-08-09 00:29:13 +02:00
..
source	Remove the GPG plugin	2018-08-09 00:29:13 +02:00
stub	doc/stub/potr: remove duplicated declaration	2016-10-21 01:46:26 +02:00
Makefile	Beginning of the migration to reST documentation	2013-04-08 18:52:35 +02:00