diff options
| author | Théo Zimmermann | 2019-08-19 20:17:54 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-08-19 20:17:54 +0200 |
| commit | 2f079131b97881458491b7a133f1a07bf4f6ae61 (patch) | |
| tree | 84ec2ceec3ebfbf0f3cfe898c7fd07740570e78f /plugins/syntax/string_notation.ml | |
| parent | 7f9a08b98b1637291dda687fce92198a21ffc395 (diff) | |
Std++, Iris, and Lambda-Rust have moved.
We update the URLs to the new ones, even if the previous continue to work.
Diffstat (limited to 'plugins/syntax/string_notation.ml')
0 files changed, 0 insertions, 0 deletions