wjc
2023-07-12 823f534dff0da0b34f68e32cdfe2651d1bb81db3
.. drwxr-xr-x
libraries drwxr-xr-x
modules drwxr-xr-x
.name 17 b -rw-r--r--
compiler.xml 169 b -rw-r--r--
misc.xml 2 KB -rw-r--r--
vcs.xml 180 b -rw-r--r--
workspace.xml 9 KB -rw-r--r--