From 63e894b39a82e5a8b1edd06f1e03e6bfc5aa8c81 Mon Sep 17 00:00:00 2001 From: Ohad Kammar Date: Mon, 8 Aug 2022 17:29:03 +0100 Subject: Snapshot, will continue later --- doc/setoid-doc.ipkg | 1 + 1 file changed, 1 insertion(+) (limited to 'doc/setoid-doc.ipkg') 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" -- cgit v1.2.3