Skip to content
GitLab
Explore
Sign in
Register
cdbi
src
Database
CDBI
ER.curry
Find file
Blame
Permalink
Aug 02, 2023
1e4364f4
Remove output in `save/restoreDBTerms` so that it can also invoked in web scripts
· 1e4364f4
Michael Hanus
authored
Aug 02, 2023
1e4364f4
Remove output in `save/restoreDBTerms` so that it can also invoked in web scripts
Michael Hanus
authored
Aug 02, 2023
Loading