mathieui d8785ae0bd Update version to 0.13.1 ... And remove some annoying logic		2020-05-31 17:50:19 +02:00
..
source	Update version to 0.13.1	2020-05-31 17:50:19 +02:00
stub	doc/stub/potr: remove duplicated declaration	2016-10-21 01:46:26 +02:00
Makefile