projects / brisk.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: aca7755 9517601)
Merge branch 'post-bold2' into avoid-domino avoid-domino
authorMatteo Nastasi <nastasi@alternativeoutput.it>
Tue, 21 Apr 2020 05:25:07 +0000 (07:25 +0200)
committerMatteo Nastasi <nastasi@alternativeoutput.it>
Tue, 21 Apr 2020 05:25:07 +0000 (07:25 +0200)

Trivial merge
Brisk - briscola chiamata in salsa Ajax: sources.