Merge branch 'maint'
commit1eb8d345f26d421cd66cc77fc43177e34299f1a3
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 21 Mar 2016 11:17:47 +0000 (21 12:17 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 21 Mar 2016 11:17:47 +0000 (21 12:17 +0100)
tree24da714775006ce3c960ddf9ae7ac4ee02c86275
parent5cc27adf1a4c389f8d1a3f8d3b54313dfb722dcf
parent7259331dd2f3e04b859b6a1eba7c5b243a148106
Merge branch 'maint'
doc/user.pod
isl_aff.c
isl_map.c
isl_printer.c