diff options
author | Akshay <[email protected]> | 2020-11-06 15:12:58 +0000 |
---|---|---|
committer | Akshay <[email protected]> | 2020-11-06 15:12:58 +0000 |
commit | cf7005dc1550119a1b0b5f713d2f31cc8b7da065 (patch) | |
tree | db570b5abe22ab704fe65ba851a2d97c168e6ee3 /.gitignore | |
parent | 8ff40835ccb622c076e889ed48e5cef6480977a1 (diff) | |
parent | 72789dff9c52cf2c5ef7772b301a1d5cfd90e272 (diff) |
Merge branch 'master' into pickfire-help
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -8,3 +8,6 @@ | |||
8 | # ignore history used by rustyline | 8 | # ignore history used by rustyline |
9 | history.txt | 9 | history.txt |
10 | ./.idea | 10 | ./.idea |
11 | |||
12 | .envrc | ||
13 | result | ||