Closed GoogleCodeExporter closed 9 years ago
Moved the unknown symbol check to the dialog. Now it does not continue if there
is any unknown symbol.
Original comment by ozgunba...@gmail.com
on 5 Oct 2012 at 10:46
Original comment by mervecak...@gmail.com
on 8 Oct 2012 at 8:57
Original issue reported on code.google.com by
mervecak...@gmail.com
on 26 Sep 2012 at 9:15