Don't stop If the current source location contains the previous one.

pull/1/head
yann300 8 years ago
parent 50d6a22342
commit 4bd5595c1e

Diff Content Not Available