remove nix files (now in separate repository).

UQ-PAC · Sep 11, 2023 · f065237 · f065237
1 parent 7ae708d
commit f065237
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 92 deletions.
diff --git a/asli.nix b/asli.nix
diff --git a/aslp.nix b/aslp.nix
diff --git a/default.nix b/default.nix
diff --git a/shell.nix b/shell.nix