diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-07-07 15:02:08 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-07-07 15:48:17 +0200 |
| commit | 866822b738cf7cc4c2e2a4c27efbd8a8db55b7a5 (patch) | |
| tree | 7513525b0aac1ed2c9c14f670e880c2f543da9ab /gnu/machine | |
| parent | ccadafdcefee012c261513e9d8663a22704bc496 (diff) | |
build: Remove outdated 'release.nix'.
This file had been unmaintained and probably broken since ~2013.
* release.nix: Remove.
* Makefile.am (EXTRA_DIST): Adjust accordingly.
Diffstat (limited to 'gnu/machine')
0 files changed, 0 insertions, 0 deletions