aboutsummaryrefslogtreecommitdiff
path: root/plugins/syntax/string_syntax_plugin.mllib
diff options
context:
space:
mode:
authorPierre Boutillier2015-02-28 15:22:37 +0100
committerPierre Boutillier2015-02-28 15:22:37 +0100
commit9ee62a197ea094911907341848d624ba33789f24 (patch)
tree44b6ac7b36545c2a1e6ff9e5f4a701b1139c0f37 /plugins/syntax/string_syntax_plugin.mllib
parent78d1a61730886f89b01fa4245e58b54dd50fb4cf (diff)
Explicit in CHANGES incompatibilities introduced in patterns by b2953849 (or r15439 as we were talking at that time)
Diffstat (limited to 'plugins/syntax/string_syntax_plugin.mllib')
0 files changed, 0 insertions, 0 deletions