Surfer/tools
2018-01-25 20:21:35 +01:00
..
backend Expose the backends for helper(1) to main() 2016-02-07 05:42:56 +01:00
.gitignore Register the bookmarking tool 2015-08-31 19:09:39 +02:00
bookmark.c Also translate bookmark(1) 2015-07-12 16:30:10 +02:00
ghtml-helper.c Fixed "make distcheck" 2014-12-24 19:15:45 +01:00
helper-main.c Expose the backends for helper(1) to main() 2016-02-07 05:42:56 +01:00
helper.c Set the left pane to 200 pixels by default 2016-02-21 13:05:40 +01:00
helper.h Refactor helper(1) with modular backends 2015-08-31 19:08:48 +02:00
htmlapp.c Update the TODO list 2015-08-31 19:07:04 +02:00
project.conf Stick to the default stack protector 2018-01-25 20:21:35 +01:00
subst.sh Build manual pages reproducibly 2016-02-21 13:14:46 +01:00