aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat
-rw-r--r--dune2
1 files changed, 1 insertions, 1 deletions
diff --git a/dune b/dune
index 9d7272fc..2acf499d 100644
--- a/dune
+++ b/dune
@@ -1 +1 @@
-(dirs :standard \ aarch64 arm x86_32 riscV powerpc extraction)
+(dirs :standard \ aarch64 arm x86_32 riscV powerpc extraction x86 x86_64)
generated by cgit (git 2.34.1) at 2024-05-09 06:12:36 +0000