diff options
| author | vlakoff <vlakoff@gmail.com> | 2016-12-15 23:17:16 +0100 |
|---|---|---|
| committer | vlakoff <vlakoff@gmail.com> | 2016-12-15 23:17:16 +0100 |
| commit | 8d369209b9c1db8cf3fe06bba54441ca84a8d6e4 (patch) | |
| tree | 6bc3cba5bef66a092cef1737866b9664ec0da6d3 /user_guide_src/Makefile | |
| parent | 9f20c8011a80d74edb740081cd96388bb6a967e6 (diff) | |
Small code simplification in character_limiter()
Diffstat (limited to 'user_guide_src/Makefile')
0 files changed, 0 insertions, 0 deletions