diff options
| author | Thomas Bauereiss | 2018-07-07 22:48:39 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-07-09 14:47:50 +0100 |
| commit | 946898cca35080989e88c14d7d6028d580ee6836 (patch) | |
| tree | df005552a5ea321069931c7620fecadb5bb308b4 /lib/string.sail | |
| parent | 5d862dc23d4641a0e7d89cd747bc2ba4007ee8f5 (diff) | |
Add explanatory comment to guard rewriting
Diffstat (limited to 'lib/string.sail')
0 files changed, 0 insertions, 0 deletions