- deleting UIDs is not the right thing to do; instead, add a new UID if
[myplc.git] / doc /
drwxr-xr-x   ..
-rw-r--r-- 1050 Makefile
-rw-r--r-- 257501 architecture.eps
-rw-r--r-- 56502 architecture.png
-rw-r--r-- 15988 figures.odg
-rw-r--r-- 225534 myplc.pdf
-rw-r--r-- 35553 myplc.php
-rw-r--r-- 21365 myplc.xml
-rw-r--r-- 14917 variables.xml
-rw-r--r-- 1316 variables.xsl