Guenter Knauf 0dc1e1e92e Cleaned up version awk script.

2012-07-11 23:23:19 +02:00

..

get_exp.awk

Cleaned up version awk script.

2012-07-11 23:23:19 +02:00

get_ver.awk

Cleaned up version awk script.

2012-07-11 23:23:19 +02:00