/ v_0
drwxr-xr-x [up]
drwxr-xr-x extra rozsirene-atributy-jedit
drwxr-xr-x licence
drwxr-xr-x src main
-rw-r--r-- 2023-12-24 00:38 +0100 68 .hgignore
-rw-r--r-- 2023-12-24 00:38 +0100 1427 Makefile
-rw-r--r-- 2023-12-24 00:38 +0100 1923 build.xml
-rw-r--r-- 2023-12-24 00:38 +0100 1052 nb-configuration.xml
-rw-r--r-- 2023-12-24 00:38 +0100 2354 nbactions.xml
-rw-r--r-- 2023-12-24 00:38 +0100 1628 pom.xml
-rwxr-xr-x 2023-12-24 00:38 +0100 383 rozšířené-atributy.sh