hchapman / tikzedt

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

auto refresh after unique-ify node names

GoogleCodeExporter opened this issue · comments

nt

Original issue reported on code.google.com by t.willwa...@gmail.com on 6 Aug 2012 at 9:50

Original comment by t.willwa...@gmail.com on 8 Dec 2012 at 7:10

  • Changed state: Invalid