diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-01-19 05:27:06 +0100 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-01-19 13:19:33 +0100 |
commit | 5bb12e1462c4ecfbed829b09ed011853dd74209d (patch) | |
tree | 75955d5cd58fe3de48fca690146d378e1ce0cc8e /doc | |
parent | 5d0bd1fbbf00c3f8a06fc64b29f801780f4d46b2 (diff) | |
download | patches-5bb12e1462c4ecfbed829b09ed011853dd74209d.tar patches-5bb12e1462c4ecfbed829b09ed011853dd74209d.tar.gz |
gnu: ninja: Update to 1.8.2.
* gnu/packages/ninja.scm (ninja): Update to 1.8.2.
[source]: Remove upstreamed patch.
[arguments]: Substitute INVOKE for SYSTEM*. Use standard indentation.
* gnu/packages/patches/ninja-zero-mtime.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions