diff options
author | Fausto Núñez Alberro <fausto.nunez@mailbox.org> | 2021-01-24 13:30:22 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-24 13:30:22 +0100 |
commit | 906d313c59b43987e4a10685b5f644b77b549d7d (patch) | |
tree | 16dc863b1563a07a2fddb54a32646b46430eb5ba /.github/workflows | |
parent | 032c41daabd1ea601e677da2dbb0bf132cc4a53e (diff) | |
parent | c8a7da6f5fa890a621d4fec11ef09c9b3559f32a (diff) |
Merge pull request #7 from ojohnny/fix-gui-special-names
Add support for GUI special names ("NONE", ...)
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions