gen.sh: remove MINKERN
commitfe24ed3567bcdd2c7fe0bf22df8aec763cce2338
authorAli Gholami Rudi <ali@rudi.ir>
Wed, 21 Jan 2015 05:10:30 +0000 (21 08:40 +0330)
committerAli Gholami Rudi <ali@rudi.ir>
Wed, 21 Jan 2015 05:10:30 +0000 (21 08:40 +0330)
tree762c63a50cf7f243bfc7506c4e62d62f28de3b56
parented1bc8ca641b403e923cd78719d0e9c130569b26
gen.sh: remove MINKERN
gen.sh