different_pointer() improved
[libfirm] / ir / config /
drwxr-xr-x   ..
-rw-r--r-- 546 Makefile.in