ajout todo sur config-generator

pull/7/head
Yves Dubromelle 8 years ago
parent b6a7f50ebd
commit 2f99508331

@ -9,6 +9,7 @@ let
in in
{ {
# TODO: ménage
###### interface ###### interface
options = { options = {

Loading…
Cancel
Save