diff options
| author | 2021-08-07 14:28:25 -0400 | |
|---|---|---|
| committer | 2021-08-08 23:33:12 -0400 | |
| commit | 38ea6c6ba04b2d601212ff88f6e00b43460de757 (patch) | |
| tree | 9ec1b4c9954982f154ab3eb58edad0df7f3aa55f /.gitignore | |
preprocess periodic table data
Diffstat (limited to '')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..831b905 --- /dev/null +++ b/.gitignore @@ -0,0 +1,2 @@ +_build +dune-project |
