diff options
| author | jan.nijtmans <nijtmans@users.sourceforge.net> | 2019-02-19 19:38:10 (GMT) |
|---|---|---|
| committer | jan.nijtmans <nijtmans@users.sourceforge.net> | 2019-02-19 19:38:10 (GMT) |
| commit | 9589c85462da7e8d01fe0154de892c6d30d92f0d (patch) | |
| tree | 748e6bc9110e6e510384467e0bddc482b5037aaa /.github | |
| parent | 2473a591bfbd5b346e1900e3c1088496b0d17590 (diff) | |
| download | tcl-9589c85462da7e8d01fe0154de892c6d30d92f0d.zip tcl-9589c85462da7e8d01fe0154de892c6d30d92f0d.tar.gz tcl-9589c85462da7e8d01fe0154de892c6d30d92f0d.tar.bz2 | |
Minor optimizations
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions