Mentions légales du service

Skip to content

remove the BEGIN/END comment markers

I suppose that those markers were used in scripts to produce output for the Inferno paper. As far as I know, there is no plan to write another paper on the same state-of-the-art literate-programming technology, and those markers are slightly annoying for people reading and, especially, modifying the code.

(cc @O_Olivier)

Merge request reports