diff options
| author | N-R-K <79544946+N-R-K@users.noreply.github.com> | 2022-02-23 09:23:22 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-23 09:23:22 +0000 |
| commit | e26c81fe9ab43ef0148f51464dbae0f7a0e2b91e (patch) | |
| tree | d65b9950f1c9310e40490302d77782c182a47377 /.github/workflows | |
| parent | ad95012be993664e062e7724155c54a482a51315 (diff) | |
use win-title script for customizing window title (#213)
this removes the cli flag `-T` as well as related config.h options.
Co-authored-by: Berke Kocaoğlu <berke.kocaoglu@metu.edu.tr>
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions