|
TD
|
flakify
|
2024-01-02 11:44:10 +01:00 |
|
TP1
|
flakify
|
2024-01-02 11:44:10 +01:00 |
|
TP2
|
init
|
2023-06-23 20:10:32 +02:00 |
|
.gitignore
|
flakify
|
2024-01-02 11:44:10 +01:00 |
|
export_html.jl
|
generalize the export script
|
2024-01-02 12:01:58 +01:00 |
|
flake.lock
|
flakify
|
2024-01-02 11:44:10 +01:00 |
|
flake.nix
|
flake-parts, follow nixpkgs
|
2024-01-02 15:59:59 +01:00 |
