intrinsic.texi
291 KB
-
intrinsic.texi: Rename INDEX node to avoid clashing with index.html on case-insensitive systems. · 6b45fd61* intrinsic.texi: Rename INDEX node to avoid clashing with index.html on case-insensitive systems. From-SVN: r132355
Francois-Xavier Coudert committed