diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2018-05-30 08:56:36 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2018-05-30 08:57:33 +0200 |
| commit | 14e2f61adade2716f7c70e01b4a6cf8be36c6116 (patch) | |
| tree | 8f9e4cf227d657ce1cc3de790a18550432fdc8c3 /gnu/packages/patches | |
| parent | 341a36b32cf3525061ee6f96f8cbbcbe7a64848a (diff) | |
gnu: gtkglext: Fix build.
* gnu/packages/gnome.scm (gtkglext)[arguments]: Add build phase to fix name
collision.
Diffstat (limited to 'gnu/packages/patches')
0 files changed, 0 insertions, 0 deletions