list: Improve output. master
authorRichard W.M. Jones <rjones@redhat.com>
Wed, 16 Nov 2016 15:49:59 +0000 (15:49 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Wed, 16 Nov 2016 15:49:59 +0000 (15:49 +0000)
commitc53d600e654804fb4703200c5a4975443242e572
tree318a8f768d59df081a4fe5e75c09dfa3c4a995f0
parentd17685b95a06a12bbdf3ce049049c7d667b384e3
list: Improve output.
todo_list.ml