diff options
| author | aszlig <aszlig@redmoonstudios.org> | 2017-06-22 02:06:14 +0200 |
|---|---|---|
| committer | aszlig <aszlig@redmoonstudios.org> | 2017-06-22 02:06:14 +0200 |
| commit | 37faa4ec945171d35fbda6d559d7539f117f6cc9 (patch) | |
| tree | e60d86d610ee392023693cae8a68bbaff79d73aa /machines | |
| parent | 5990a4d62f2d3146ddd03ec2461d45b2102e5f42 (diff) | |
Remove devhell/ subtree
We've migrated everything into vuizvui, so we no longer need the
leftover files anymore, which were:
* entry_*.nix: Obsolete, we have machines/devhell now.
* release.nix: Also obsolete, vuizvui has a much more comprehensive
one anyway.
* README.md: Also included in vuizvui, along with a generated HTML
manual.
Signed-off-by: aszlig <aszlig@redmoonstudios.org>
Cc: @devhell
Diffstat (limited to 'machines')
0 files changed, 0 insertions, 0 deletions