changed the strategy to find point to fix in an automatic way, and some minor changes in comments

This commit is contained in:
Nico Pietroni 2013-02-19 13:53:33 +00:00
parent 8111bcda24
commit 1f91e92f9a
1 changed files with 729 additions and 712 deletions

File diff suppressed because it is too large Load Diff