Add new option -v to display version
treea46313cd7105f4dd74de15372dfb87d634eb27f6
-rw-r--r-- 24 .gitignore
-rw-r--r-- 537 makefile
drwxr-xr-x - regtests
drwxr-xr-x - src
-rw-r--r-- 350 style_checker.gpr