dmitriid/HINT — pull request #1 by nekrograve (2012-07-09 10:07:47+00:00)
Title: ./web.sh -hint_search plt_path \"data/tiny_plt\"

./web.sh -hint_search plt_path \"data/tiny_plt\"