diff options
| author | jan.nijtmans <nijtmans@users.sourceforge.net> | 2020-11-20 08:58:39 (GMT) |
|---|---|---|
| committer | jan.nijtmans <nijtmans@users.sourceforge.net> | 2020-11-20 08:58:39 (GMT) |
| commit | edcb5e1d91ec243b0f1f462f43b5324c472a9565 (patch) | |
| tree | 3abc39c7000c03bad22e256e8a076b74e782e9f9 /.project | |
| parent | ef7a8aec00a2a78b52cf7d706f7e0d89b9f0b7e1 (diff) | |
| download | tcl-edcb5e1d91ec243b0f1f462f43b5324c472a9565.zip tcl-edcb5e1d91ec243b0f1f462f43b5324c472a9565.tar.gz tcl-edcb5e1d91ec243b0f1f462f43b5324c472a9565.tar.bz2 | |
shorten github actions build name
Diffstat (limited to '.project')
0 files changed, 0 insertions, 0 deletions