radek/poset-editor
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
Python GTK application for editing and git-saving partially ordered sets
10 commits 1 branch 0 tags 61 KiB
  • Python 100%
Find a file
Exact
Radek Olsak e2aedb1738 added box-selection
2026-05-05 15:46:13 +02:00
main.py added box-selection 2026-05-05 15:46:13 +02:00