remove obsolete files

This commit is contained in:
Pol Dellaiera 2023-01-31 21:20:59 +01:00
parent 471044cfcc
commit 4949a2d806
No known key found for this signature in database
GPG Key ID: D476DFE9C67467CA
2 changed files with 0 additions and 26 deletions

View File

@ -1,9 +0,0 @@
let
rev = "cecfd08d13ddef8a79f277e67b8084bd9afa1586";
url = "https://github.com/edolstra/flake-compat/archive/${rev}.tar.gz";
flake = import (fetchTarball url) {src = ./.;};
inNixShell = builtins.getEnv "IN_NIX_SHELL" != "";
in
if inNixShell
then flake.shellNix
else flake.defaultNix

17
src/.gitignore vendored
View File

@ -1,17 +0,0 @@
*.aux
*.cp*
*.fn
*.ky
*.log
*.pg
*.toc
*.tp
*.vr
*.vim
*.idx
*.ilg
*.ind
*.out
*.swp
*~
ctfp.fdb_latexmk