Do not create gitversion.h at configure-time
[isl.git] / interface / 
tree90af0844d0d02644570c3e09760d13004a9b8bf9
drwxr-xr-x   ..
-rw-r--r-- 850 Makefile.am
-rw-r--r-- 96 all.h
-rw-r--r-- 11337 extract_interface.cc
-rw-r--r-- 87 extract_interface.h
-rw-r--r-- 616 isl.py.top
-rw-r--r-- 16018 python.cc
-rw-r--r-- 168 python.h