aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 11 Pull Requests 1 Packages Projects Releases Wiki Activity

Remove the obsolete name field from proof tree structure #11

Merged
aniva merged 1 commits from misc/cleanup into dev 2023-08-26 18:50:41 -07:00
Conversation 0 Commits 1 Files Changed 4 +3 -10

1 Commits

Author SHA1 Message Date
Leni Aniva 81702d12ef Remove the obsolete name field from proof tree structure 2023-08-26 18:50:15 -07:00