?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
rename isl_basic_map_convex_hull to isl_basic_map_remove_redundancies
[isl.git] / isl_version.c
blob1a59f55c186e19d5496c9aaedcc4533484412180
1 #include "gitversion.h"
2
3 const char *isl_version(void)
4 {
5 return GIT_HEAD_ID"\n";
6 }
Integer set library