diff options
| author | Urbain Vaes <urbain@vaes.uk> | 2019-03-10 19:23:57 +0100 |
|---|---|---|
| committer | Urbain Vaes <urbain@vaes.uk> | 2019-03-11 16:06:02 +0100 |
| commit | c3672309ea0e3c75ee23e0e272b07e15a5ff2d33 (patch) | |
| tree | 0ca93ecdaa5fe2fed2bad4878edad434c0131d8b /arch/local | |
| parent | b265b484c6a5f6d5b9d04efa4fb6dc0d433866de (diff) | |
[i3] Make 'workspace gw' work with number 10
Diffstat (limited to 'arch/local')
0 files changed, 0 insertions, 0 deletions