diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-08-10 02:27:16 +0200 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-08-11 02:00:45 +0200 |
commit | 82536c48772187840279598c1e0f366aa97c99ce (patch) | |
tree | e763e34eed748a305a6148bf3003990fd0f445a9 /.dir-locals.el | |
parent | c6cb111b2397ff433317bc338ddf4298a42a1515 (diff) | |
download | patches-82536c48772187840279598c1e0f366aa97c99ce.tar patches-82536c48772187840279598c1e0f366aa97c99ce.tar.gz |
gnu: opari2: Update to 2.0.3.
* gnu/packages/profiling.scm (opari2): Update to 2.0.3.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions