doc: clarify use of identifiers
[isl.git] / include / 
tree1408c5e28ede58e2c7b52d00ac629ac4f6551037
drwxr-xr-x   ..
drwxr-xr-x - isl