tree 02d1da7273cef58968864c2b869a12685cde6cb9
parent d73bfdb1b71b20b7e56f8ec9f55d8262adca5900
author baunsgaard <baunsgaard@tugraz.at> 1596530528 +0200
committer baunsgaard <baunsgaard@tugraz.at> 1596530528 +0200

[MINOR] Fix formatting in builtin reference docs