change version to 0.7.2
tree3070af077e6b1d5dd8a33f07f25deb2a017448aa
-rw-r--r-- 153 .gitignore
-rw-r--r-- 1017 AUTHORS
-rw-r--r-- 18011 COPYING
-rw-r--r-- 6970 INSTALL
-rw-r--r-- 247 Makefile.am
-rw-r--r-- 19804 NEWS
-rwxr-xr-x 3345 autogen.sh
-rw-r--r-- 12410 configure.ac
drwxr-xr-x - doc
drwxr-xr-x - extras
drwxr-xr-x - m4
drwxr-xr-x - src