search

dionyziz / Automata

An editor for deterministic finite automata
http://automata.discrete.gr
51 stars 12 forks source link

Retina support #29

Closed gtklocker closed 10 years ago

gtklocker commented 10 years ago

This fixes issue #28.