Merge branch 'or/codepeer'
treea8ba3353055c5d9f8b21aa727db71eea7f611a15
-rw-r--r-- 137 .gitignore
-rw-r--r-- 17987 COPYING
-rw-r--r-- 200 INSTALL
-rw-r--r-- 3846 Makefile
-rw-r--r-- 1815 install.gpr
-rw-r--r-- 589 morzhol.check
-rw-r--r-- 3996 morzhol.gpr
drwxr-xr-x - src
drwxr-xr-x - test