Skip to content

Update flint documentation

Closes #2179 (closed) Closes #2178 (closed)

Few update of the Flint documentation

Plus few changes on Lima displayed __info__. And remove of dead file.

Edited by Valentin Valls

Merge request reports