Upgrade: http://phdru.name -> https://phdru.name
-rw-r--r-- 9 .gitignore
-rw-r--r-- 484 ChangeLog
-rw-r--r-- 124 README
-rw-r--r-- 59 TODO
drwxr-xr-x - devscripts
drwxr-xr-x - html
drwxr-xr-x - parser
-rwxr-xr-x 1784 search-tags.py
-rw-r--r-- 1806 tags.py
-rwxr-xr-x 193 test_tags
-rw-r--r-- 4 version