diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-03-14 10:24:35 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-03-14 18:23:46 +0100 |
| commit | 86c9c0c11819f1e5ec6f821265a0492ddeaf83ee (patch) | |
| tree | 8462a42b10bc3c17a24b3306fd60319448d9e2b7 /gnu/packages/mpi.scm | |
| parent | 98516883927f39073360adbdc5ab25e16248e297 (diff) | |
gnu: webkitgtk: Update to 2.20.0.
* gnu/packages/webkit.scm (webkitgtk): Update to 2.20.0.
[arguments]: (Re-)disable WOFF2 web font support.
Diffstat (limited to 'gnu/packages/mpi.scm')
0 files changed, 0 insertions, 0 deletions