diff options
| author | DeltaNedas <39013340+DeltaNedas@users.noreply.github.com> | 2021-01-13 20:41:37 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-13 21:41:37 +0100 |
| commit | 516e8633955840b44fd5329d872c9bfcd455012a (patch) | |
| tree | 622ef90b233cbdd8eb9e4bb2b52d7079937b3977 /.github/workflows | |
| parent | 1411f878abdd22c04ef5783f3100ab9456d2520a (diff) | |
| download | openttd-516e8633955840b44fd5329d872c9bfcd455012a.tar.xz | |
Cleanup: src/3rdparty/optional was removed, also remove its licensing note. (#8567)
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions