issue86, unset search-option when tag-result is getting modified
[phpfspot.git] / templates_c /
drwxr-xr-x   ..
-rw-r--r-- 2 .gitignore
-rw-r--r-- 0 .hidden