Option to disable auto compilation.

rmennes / tikzedt

Automatically exported from code.google.com/p/tikzedt

0 stars 0 forks source link

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago

Option to disable auto compilation.

Original issue reported on code.google.com by t.willwa...@gmail.com on 19 Apr 2012 at 8:08

GoogleCodeExporter commented 8 years ago

Is built into the development version. Will be there with the next release.

Original comment by t.willwa...@gmail.com on 9 May 2012 at 7:09