repo.or.cz
/
cabal.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
Merge branch 'master' into fix8141
2024-04-12
Mario
Re
g
istered
the
N
amedDefaul
t
s l
a
n
g
uage exten
s
ion (#
9
740
)
commit
|
commitdiff
|
tree