diff options
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" |