diff options
author | Ruixi-rebirth <ruixirebirth@gmail.com> | 2023-05-27 20:49:55 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-05-27 22:49:55 -0400 |
commit | 20d51cf17a5e93cc20373423efeca72fd7c100d5 (patch) | |
tree | dca1d1be6cc5a31192c8a8acccef974649e1acce /.gitignore | |
parent | 493af3185092036cbbae81ae620b101f66cf4e9a (diff) |
Add flake support (#297)
Add flake support
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -4,3 +4,5 @@ *.tmp *~ **/*.rs.bk +/result +/.devenv |