doc update

This commit is contained in:
udo
2022-04-18 23:37:21 +00:00
parent defc628204
commit 364d83b199
17 changed files with 482 additions and 120 deletions
+11
View File
@@ -0,0 +1,11 @@
:sig
#load "myfile.uce"
:params
file name : name of an UCE file that should be included
:desc
Includes another UCE file
:see
>ob