diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-06-11 02:35:27 +0200 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-06-12 15:06:20 +0200 |
commit | 5b5a8d6b21ec01b8d0d3ba4d5c9b9e81577072ed (patch) | |
tree | 32c1cb1a25db724a4f98cacdfacd5409df86202b /graph.js | |
parent | 5ccd6e2b53758ff770826820091df34f8a1fb087 (diff) | |
download | patches-5b5a8d6b21ec01b8d0d3ba4d5c9b9e81577072ed.tar patches-5b5a8d6b21ec01b8d0d3ba4d5c9b9e81577072ed.tar.gz |
gnu: isl: Update to 0.19.
* gnu/packages/gcc.scm (isl): Update to 0.19.
Diffstat (limited to 'graph.js')
0 files changed, 0 insertions, 0 deletions