diff make_headers.py @ 8:ae45108716a2

fix usage
author Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date Mon, 14 Sep 2015 13:13:17 +0900
parents d66cc78ae824
children
line wrap: on
line diff