summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--Makefile815logplain
-rw-r--r--dune-project35logplain
-rw-r--r--dune-workspace0logplain
-rw-r--r--mod_student.opam0logplain
d---------source100logplain
d---------tests / pracownia137logplain
d---------tools37logplain
-rw-r--r--xi.opam0logplain
-rw-r--r--xi_lib.opam0logplain
d---------xisdk39logplain