add isl_printer_print_double
[platform/upstream/isl.git] / isl_version.c
2010-06-19 Sven Verdoolaegeadd isl_version