diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-01-18 22:46:25 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-01-19 01:26:34 +0100 |
| commit | 1a7dbc11c5650ecfadff6e5481b1805d8954adc8 (patch) | |
| tree | 80914804529062ef394777ca7d438465afcf0869 /gnu/packages | |
| parent | d680a8afd1190aac46742d3abf2a0de1a45ea10f (diff) | |
| download | patches-1a7dbc11c5650ecfadff6e5481b1805d8954adc8.tar patches-1a7dbc11c5650ecfadff6e5481b1805d8954adc8.tar.gz | |
maint: Add gnu/ci.scm to the distribution.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add %D%/ci.scm.
Diffstat (limited to 'gnu/packages')
0 files changed, 0 insertions, 0 deletions