/doc/ default tip
drwxr-xr-x [up]
-rw-r--r-- 2022-09-29 16:30 +0200 2220 Protocol.dia
-rw-r--r-- 2022-09-29 16:30 +0200 13478 Protocol.odt
-rw-r--r-- 2022-09-29 16:30 +0200 696 Release.txt
-rw-r--r-- 2022-09-29 16:30 +0200 2714 SoundsMapping.txt
-rw-r--r-- 2022-09-29 16:30 +0200 83387 hwdemo.png
-rw-r--r-- 2022-09-29 16:30 +0200 1884 protocol.txt