Rename openscop_extension_id to more generic openscop_interface
[openscop.git] / doc / 
treef766c1fa9fa7c59ef782672e4d419713f68bc154
drwxr-xr-x   ..
-rw-r--r-- 54097 Doxyfile.in
-rw-r--r-- 6126 Makefile.am
-rw-r--r-- 486 S4.cloog
-rw-r--r-- 847 ascii-art.txt
drwxr-xr-x - images
-rw-r--r-- 109693 openscop.texi