OSDN Git Service

For convinience, change a unit of --with/height
authormzp <mzpppp@gmail.com>
Fri, 20 Mar 2009 01:26:15 +0000 (10:26 +0900)
committermzp <mzpppp@gmail.com>
Fri, 20 Mar 2009 01:26:15 +0000 (10:26 +0900)
commit7bf5faaf9807d78907a5895fc5237240541a3a82
tree23c611d9a9d9ff7feacfff9f521183c99f823151
parentae0f8d0bde891337aa2aa50941d84a229632bcf9
For convinience, change a unit of --with/height
ChangeLog
driver/src/cmdOpt.ml
driver/test/runner [new symlink]