Daniel Mendler 2122b51139 manual: don't mention obsolete MP_DIV_SMALL		2019-10-27 21:53:17 +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	manual: don't mention obsolete MP_DIV_SMALL	2019-10-27 21:53:17 +01:00
makefile	fix doc [skip ci]	2019-10-27 21:19:37 +01:00