summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/lwt/metadata.xml')
-rw-r--r--dev-ml/lwt/metadata.xml2
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>