ddfreyne/cri — pull request #10 by ddfreyne (2013-08-17 09:17:50+00:00)
Title: Make short (and long) options, er, optional (II)

This extends #9.