diff options
author | Patrick <tingping@tingping.se> | 2021-10-07 14:05:47 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-07 14:05:47 -0500 |
commit | aabe3438fa2b1d712217cfcda62e147903415f37 (patch) | |
tree | ea9b26b4a13f27f4de15e23c106e716c02cd1133 /src/fe-gtk/maingui.c | |
parent | 6fd8a8f9bf48562fbbc42f908321b67d436c097e (diff) |
ci: Don't install libproxy-dev
Diffstat (limited to 'src/fe-gtk/maingui.c')
0 files changed, 0 insertions, 0 deletions