snailed
/
void-packages
2
0
Fork 0
Code Issues 1 Pull Requests 1 Actions Activity
36,445 Commits 3 Branches 0 Tags 633 MiB
Commit Graph

1 Commits

Author SHA1 Message Date
Christian Neukirchen e8a7a95ace ProofGeneral: ignore pre-releases. 2015-01-15 13:14:50 +01:00