On 2017-11-01 09:38:43 +0100, Johan Corveleyn wrote: > Most likely, /perso/tcl@103182 is not the same node as > /perso/tcl@103183 and /perso/tcl@103181. I suppose you should be able > to see this in the history, with an 'svn log -v' of the root > directory: 103182 should show an 'R' for /perso/tcl, meaning it was > Replaced by another node, not historically related to /perso/tcl > before. And 103183 replaced it again with a copy of the original node.
No, there's no such thing. This directory was created in r99807, and the only changes were on the file "fidelite". -- 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)