Skip to content
GitLab
Explore
Sign in
Register
curry
pakcs
Repository
pakcs
pakcsrc.default
Find file
Blame
History
Permalink
Update frontend: --extended is default option
· 90db1a0e
Michael Hanus
authored
Feb 06, 2023
90db1a0e