diff options
| author | Joris | 2020-05-31 13:59:35 +0200 |
|---|---|---|
| committer | Joris | 2020-05-31 13:59:35 +0200 |
| commit | 0f1610333324d58acafee8c0fa9d9c9bc293b219 (patch) | |
| tree | 302c37dd3751e9fe2e50ab656d56253bfd2d55fc /shell.nix | |
| parent | 8a6e10d401eea8db0947f8c4b309b8a6256f9748 (diff) | |
Use defined tags for tasks
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions