diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-07-02 17:02:45 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-07-02 23:54:02 +0200 |
| commit | 2807a8432aa2aaac6fa7024974be6468ca1160b5 (patch) | |
| tree | 3a4fdc436e97974390f7593faf6be06c7bad1ddd /graph.js | |
| parent | 1239aabd4c2ac0ebb979d1cf5126281335aa5744 (diff) | |
gnu: network-manager-openconnect: Patch all the 'openconnect' file names.
* gnu/packages/gnome.scm (network-manager-openconnect)[arguments]: Make
sure all the references to the 'openconnect' executable are patched.
Diffstat (limited to 'graph.js')
0 files changed, 0 insertions, 0 deletions