wassname/pi-lgtm
1
0
Fork 0
mirror of https://github.com/wassname/pi-lgtm.git synced 2026-06-27 16:46:17 +08:00
Code Issues Packages Projects Releases Wiki Activity
54 Commits 3 Branches 0 Tags
c0ceb95ea47050f3a48d2ab29785d984c6c45f3a
Commit Graph

2 Commits

Author SHA1 Message Date
wassname c0ceb95ea4 simplify proof logs and keep tasks repo-local 2026-06-14 20:09:30 +08:00
wassname 29c928c805 simplify collapsed task rows 2026-06-14 11:59:47 +08:00