diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-05-13 18:48:22 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-06-09 12:02:28 +0200 |
| commit | f6f2346f9b9387d449844fe5b3207ccbede069f4 (patch) | |
| tree | bc2f165bb1008dc8950e8bde58d55ce053c48726 /graph.js | |
| parent | c423ae89185abab9ca6381a12285b85079367072 (diff) | |
profiles: Add 'properties' field to manifest entries.
* guix/profiles.scm (<manifest-entry>)[properties]: New field.
(manifest->gexp)[entry->gexp]: Serialize it.
(sexp->manifest)[sexp->manifest-entry]: Deserialize it.
Diffstat (limited to 'graph.js')
0 files changed, 0 insertions, 0 deletions