diff options
| author | Dave Love <fx@gnu.org> | 2017-10-02 21:48:45 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-10-03 17:07:55 +0200 |
| commit | a66408f8c0aedce21802e73d3dddda30281e4ef6 (patch) | |
| tree | c4f4f3b04653d093af49b4aad490ad1ae892d193 /.dir-locals.el | |
| parent | 3c8d1f9492f3c71eb1d0d75b653ef723e787925e (diff) | |
| download | patches-a66408f8c0aedce21802e73d3dddda30281e4ef6.tar patches-a66408f8c0aedce21802e73d3dddda30281e4ef6.tar.gz | |
gnu: Add cube.
* gnu/packages/profiling.scm(cube): New variable.
* gnu/packages/patches/cube-nocheck.patch: New file.
* gnu/local.mk: Add it.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions