diff options
| author | Blaž Hrastnik | 2021-01-19 06:54:51 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2021-01-19 06:54:51 +0000 |
| commit | f1539cc86680935a0b2a5bbd16c64b110687cdf7 (patch) | |
| tree | d6d723aed8cc8248bd431f774a279dc1f38210da /.github/workflows | |
| parent | 22e1692adcf388fce358196bc817a9f6d394a29e (diff) | |
Add a nix flake with the development environment.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions