diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-08-14 21:42:22 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-08-15 00:32:15 +0200 |
| commit | af514eadb2ef77b890daab17f872350d009a4c18 (patch) | |
| tree | 32a7ab71cc049d89ee702055a70b73225cbd790c /THANKS | |
| parent | b3307bfdf9ebf6808fe15dce9fd2712db6f5b909 (diff) | |
| download | patches-af514eadb2ef77b890daab17f872350d009a4c18.tar patches-af514eadb2ef77b890daab17f872350d009a4c18.tar.gz | |
gnu: f3: Update to 7.1.
* gnu/packages/disk.scm (f3): Update to 7.1.
[arguments]: Remove ‘fix-makefile’ phase.
Move installation of experimental (now called ‘extra’) tools to their
own phases instead of cleverly patching Makefile.
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions