Mercurial > hg > tony
diff configure @ 222:43cc5f7cc554
adapted tony candidate selection to new, slower (!) pyin with unbiased timestamps
author | matthiasm |
---|---|
date | Fri, 07 Mar 2014 11:17:37 +0000 |
parents | 7d0d0cd59adb |
children | 56109ef020b4 ffd1a89a68fa |