diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-08-10 02:26:45 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-08-11 02:00:44 +0200 |
| commit | c6cb111b2397ff433317bc338ddf4298a42a1515 (patch) | |
| tree | f3f33dd4b15b2883331bdd6cc11cd3f1a921d1fd /.dir-locals.el | |
| parent | e0d5712f6450135db75deaef234beffbdb53de1a (diff) | |
| download | patches-c6cb111b2397ff433317bc338ddf4298a42a1515.tar patches-c6cb111b2397ff433317bc338ddf4298a42a1515.tar.gz | |
gnu: opari2: Remove redundant code.
* gnu/packages/profiling.scm (opari2)[arguments]: Remove ‘licence’
installation phase now handled by the build system.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions