diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2018-12-06 10:18:31 +0100 |
|---|---|---|
| committer | John J. Camilleri <john@digitalgrammars.com> | 2018-12-06 10:18:31 +0100 |
| commit | 7bd086ba1925ba96533d4d021527621c2f8f8c83 (patch) | |
| tree | d34485b7e914833c6322ce04036e60df7a0e7aeb /doc/tutorial | |
| parent | ff0fe0a6c593219478bb7ef6e071ef17da587be4 (diff) | |
Case-insensitve sed replacements handled the dumb way
Because BSD sed != GNU sed
Diffstat (limited to 'doc/tutorial')
0 files changed, 0 insertions, 0 deletions