Skip to content
GitLab
Explore
Sign in
chore: prune isabelle.db support
Code
Review changes
Check out branch
Download
Patches
Plain diff
Joshua Balthasar Kobschätzki
requested to merge
cobalt.rocks/prune-db
into
main
Jul 29, 2024
Overview
0
Commits
2
Pipelines
2
Changes
237+
Expand
Resolves
ism#53 (closed)
The diff is chonky. modernc was a big dependency.
Merge request reports