Revert "l'attribut de génération des pages de man a changé de nom (-> documentation.man.enable)"
This reverts commit 0c47de1cb1
.
flakes
2018-08-27-ocean
parent
0073763f32
commit
f2247b6e3e
Loading…
Reference in New Issue