aboutsummaryrefslogtreecommitdiffstats
path: root/dune
diff options
context:
space:
mode:
authorGravatar Peter McGoron 2021-08-07 14:28:25 -0400
committerGravatar Peter McGoron 2021-08-08 23:33:12 -0400
commit38ea6c6ba04b2d601212ff88f6e00b43460de757 (patch)
tree9ec1b4c9954982f154ab3eb58edad0df7f3aa55f /dune
preprocess periodic table data
Diffstat (limited to 'dune')
-rw-r--r--dune5
1 files changed, 5 insertions, 0 deletions
diff --git a/dune b/dune
new file mode 100644
index 0000000..ddf0014
--- /dev/null
+++ b/dune
@@ -0,0 +1,5 @@
+(executable
+ (name elements)
+ (modules Elements Preprocess)
+ (libraries yojson re)
+)