tree 3e798809497e8d05b3dcc26ead51e191876a9674
parent f56c51e8ade954d8b30835bf36f5e5198ade9891
author Jesse van den Kieboom <jessevdk@gmail.com> 1389355009 +0100
committer Jesse van den Kieboom <jessevdk@gmail.com> 1389355098 +0100

Only print [OPTIONS] when there are options