Fix commenting convention in PROBLEMS example
authorGlenn Morris <rgm@gnu.org>
Wed, 4 Apr 2012 07:30:02 +0000 (00:30 -0700)
committerGlenn Morris <rgm@gnu.org>
Wed, 4 Apr 2012 07:30:02 +0000 (00:30 -0700)
commit251c2719e6e5ad5b54285fef31de14cd0773808c
treebf9b3ac59fff1d6ea5271be60e54fbc6aaedae33
parentc8d59ba3ed9f2e0e2f4d0cc2b38aa69cc2f380b3
Fix commenting convention in PROBLEMS example
etc/PROBLEMS