On 2018-11-26 15:18:47 +0100, Branko Čibej wrote: > Do please read the rest of the thread. A solution has already been > implemented on trunk.
Except that this solution is not satisfactory for me. I guess that the ultimate solution is to use --xml + a wrapper (thus one could add things like coloring), though that's still limited as one doesn't get the MIME type (svn:mime-type). -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
