Commit Graph

2 Commits

Author SHA1 Message Date
João Moreno
c3b556727e fix update-grammars script 2021-02-02 12:30:08 +01:00
Joao Moreno
a563e2cb38 consolidate git extensions
related to #43978
2018-02-20 16:47:01 +01:00