Subversion Repositories wimsdev

(root)/ – Rev 11333

Rev 11333 2017-02-22 07:01:22
Author: schaersvoorde
Log message:
[minor/svn] fix for the pari [version > 2.9.0] printtex output "\*"

Path	Last modification			Log	RSS
tags/	11323	3149 d 2 h	apache	Log	RSS
trunk/	11333	3147 d 16 h	schaersvoorde	Log	RSS