Commit 43212d15 authored by Alexandre Delanoë's avatar Alexandre Delanoë

Merge remote-tracking branch...

Merge remote-tracking branch 'origin/624-corpus-hal-remove-comment-the-hal-all-lang-choice' into dev
parents d28d0492 95c5efc5
......@@ -175,9 +175,9 @@ component = R.hooksComponent "documentFormCreation" cpt where
H.option
{ value: "Nothing" }
[ H.text "Nothing"]
, H.option
{ value: "All" }
[ H.text "All"]
-- , H.option
-- { value: "All" }
-- [ H.text "All"]
]
]
]
......
......@@ -54,7 +54,7 @@ derive instance Generic Lang _
derive instance Ord Lang
instance Show Lang where
show Universal = "All"
-- show Universal = "All"
show No_extraction = "Nothing"
show s = genericShow s
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment