Daniel Mendler d27dff92f0 update manual: replace mp_bool/MP_YES/MP_NO references by bool/true/false		2019-10-27 18:41:58 +01:00
..
.latexindent.yaml	more clean-ups and addition of a latexinden.pl configuration file	2019-10-27 14:57:37 +01:00
bn.tex	update manual: replace mp_bool/MP_YES/MP_NO references by bool/true/false	2019-10-27 18:41:58 +01:00
makefile	more clean-ups and addition of a latexinden.pl configuration file	2019-10-27 14:57:37 +01:00