Add example user-defined commands to the manual
commit91fc97d2ea3bb3f20dc876acc8315b667e05ae39
authorJonas Fonseca <fonseca@diku.dk>
Sun, 3 Mar 2013 16:21:19 +0000 (3 11:21 -0500)
committerJonas Fonseca <fonseca@diku.dk>
Sun, 3 Mar 2013 16:21:19 +0000 (3 11:21 -0500)
tree1fdab102da17782512cbd2af365ce89afb9c37fd
parent5627d59c8c86f6d0f0ed83b0563d9df112a8e46b
Add example user-defined commands to the manual

Inspired by GH #121, GH #65 and GH #74.
manual.txt