This repository has been archived on 2026-05-28. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Jakob Borg dc2f83e522 Add GUI validations for node and repo editors (fixes #153)

2014-05-14 07:55:00 -03:00

407 KiB

Raw Blame History

View Raw