diff options
Diffstat (limited to 'dev-ml/lwt/metadata.xml')
-rw-r--r-- | dev-ml/lwt/metadata.xml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/dev-ml/lwt/metadata.xml b/dev-ml/lwt/metadata.xml index 03beb8a8933a..04c21f195b0b 100644 --- a/dev-ml/lwt/metadata.xml +++ b/dev-ml/lwt/metadata.xml @@ -20,8 +20,6 @@ <use> <flag name="ppx">Enables the ppx syntax extension</flag> <flag name="react">Enables support for <pkg>dev-ml/react</pkg>: Functional reactive programming (signals, events, etc.).</flag> - <flag name="toplevel">Enables enhanced toplevel.</flag> - <flag name="text">Enables text mode utilities.</flag> </use> <upstream> <remote-id type="github">ocsigen/lwt</remote-id> |