have to rename index.png becausd it conflicts with HTML index.png for navigation
[goodguy/cin-manual-latex.git] / images / insertion-point.png
index bfbd9a6e28f096f2629266804e3a604d0737e659..984b35075c1ff6de594a79f12b90afe3a74de074 100644 (file)
Binary files a/images/insertion-point.png and b/images/insertion-point.png differ