diff options
| author | Ohad Kammar <ohad.kammar@ed.ac.uk> | 2022-08-08 17:29:03 +0100 |
|---|---|---|
| committer | Ohad Kammar <ohad.kammar@ed.ac.uk> | 2022-08-08 17:29:03 +0100 |
| commit | 63e894b39a82e5a8b1edd06f1e03e6bfc5aa8c81 (patch) | |
| tree | 8eef9a4268a0b703318e8eb6d7e843caa72c2dc4 /doc/setoid-doc.ipkg | |
| parent | 4032974f05f80cbab61a26f4b30ce57ec2e43b3b (diff) | |
Snapshot, will continue later
Diffstat (limited to 'doc/setoid-doc.ipkg')
| -rw-r--r-- | doc/setoid-doc.ipkg | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/setoid-doc.ipkg b/doc/setoid-doc.ipkg index b97fb59..9bce2e7 100644 --- a/doc/setoid-doc.ipkg +++ b/doc/setoid-doc.ipkg @@ -19,6 +19,7 @@ depends , frex modules = Tutorial + , Minh -- name of executable sourcedir = "sources" |