Commit: r2757: change default value of remove-short-arcs option to 0.
15 Oct
2013
15 Oct
'13
8:43 a.m.
Version 2757 was committed by gerd on Tue, 15 Oct 2013 change default value of remove-short-arcs option to 0. Print warning to stderr if a value > 0 is used.
4149
Age (days ago)
4149
Last active (days ago)
0 comments
1 participants
participants (1)
-
svn commit