doc: explicitly state that the divisor of an ?div_? operation is positive
[isl.git] / include / 
tree841358ca90651a2d37173cb974ac1abbb909e9be
drwxr-xr-x   ..
drwxr-xr-x - isl