diff options
| author | Ismaël Bouya <ismael.bouya@normalesup.org> | 2020-08-29 18:37:54 +0200 |
|---|---|---|
| committer | Ismaël Bouya <ismael.bouya@normalesup.org> | 2020-08-29 18:37:54 +0200 |
| commit | da28a4e2afef21710f73860b26893fa18dd32858 (patch) | |
| tree | 3ce951ff67ab7eb8d55fa79415bacaca85896256 /.gitignore | |
| parent | 1052bfda27ad0607cd4dc5dc91e2d8e8220c30c7 (diff) | |
| download | Nix-da28a4e2afef21710f73860b26893fa18dd32858.tar.gz Nix-da28a4e2afef21710f73860b26893fa18dd32858.tar.zst Nix-da28a4e2afef21710f73860b26893fa18dd32858.zip | |
Add environment file instead of hardcoding everything in makefiles
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
| @@ -1,2 +1,3 @@ | |||
| 1 | /result* | 1 | /result* |
| 2 | /versions_log | 2 | /versions_log |
| 3 | .direnv/ | ||