oops, the previous (unintended) check in was wrong and did not work
[myplc.git] / doc /
drwxr-xr-x   ..
-rw-r--r-- 906 Makefile
-rw-r--r-- 257501 architecture.eps
-rw-r--r-- 56502 architecture.png
-rw-r--r-- 15988 figures.odg
-rw-r--r-- 186030 myplc.pdf
-rw-r--r-- 23074 myplc.php
-rw-r--r-- 20470 myplc.xml