Delete obsolete comment fragment.
authorJarkko Hietaniemi <jhi@iki.fi>
Mon, 6 Oct 2014 18:36:29 +0000 (20:36 +0200)
committerJarkko Hietaniemi <jhi@iki.fi>
Mon, 6 Oct 2014 20:45:33 +0000 (22:45 +0200)
commit6f376839598531b67a3a4384f73266962205ae72
tree8b133ff9780ddaa14ebdf4a014e5634dcca2cb07
parent68aa61462c42ea6c0ee9bf51b7062f65ef8851ce
Delete obsolete comment fragment.
sv.c