aboutsummaryrefslogtreecommitdiff
path: root/plugins/syntax/string_notation.ml
diff options
context:
space:
mode:
authorVincent Laporte2019-07-10 12:39:27 +0000
committerVincent Laporte2019-07-10 12:39:27 +0000
commitd0cc7bd4cc01c30289c29b19bcd2352138b08c90 (patch)
tree31bb8dac618d9ea9dcef75c685f5d23df7ea940e /plugins/syntax/string_notation.ml
parent7a347e4df070013480a467ed97ff5648662c9880 (diff)
[CI/Azure/macOS] Pin the homebrew-core repository
This improves reproducibility of the CI environment. The chosen commit has GTK+3 at 2.24.9.
Diffstat (limited to 'plugins/syntax/string_notation.ml')
0 files changed, 0 insertions, 0 deletions