/
drwxr-xr-x doc
drwxr-xr-x gwt-src nu/validator/htmlparser
drwxr-xr-x mozilla-export-scripts
drwxr-xr-x ruby-gcj
drwxr-xr-x src nu/validator
drwxr-xr-x super nu/validator/htmlparser/translatable
drwxr-xr-x test-src nu/validator
drwxr-xr-x translator-src nu/validator/htmlparser
-rwxr-xr-x 2019-12-20 15:15 +0200 67 .gitignore
-rw-r--r-- 2019-12-20 15:15 +0200 575 .hgtags
-rwxr-xr-x 2019-12-20 15:15 +0200 284 HtmlParser-compile
-rwxr-xr-x 2019-12-20 15:15 +0200 300 HtmlParser-compile-detailed
-rw-r--r-- 2019-12-20 15:15 +0200 2756 HtmlParser-compile-detailed.launch
-rw-r--r-- 2019-12-20 15:15 +0200 2401 HtmlParser-compile.launch
-rwxr-xr-x 2019-12-20 15:15 +0200 303 HtmlParser-linux
-rwxr-xr-x 2019-12-20 15:15 +0200 309 HtmlParser-shell
-rw-r--r-- 2019-12-20 15:15 +0200 2512 HtmlParser.launch
-rw-r--r-- 2019-12-20 15:15 +0200 4672 LICENSE.txt
-rwxr-xr-x 2019-12-20 15:15 +0200 104 README.txt
-rw-r--r-- 2019-12-20 15:15 +0200 22850 generate-encoding-data.py
-rw-r--r-- 2019-12-20 15:15 +0200 9756 pom.xml