diff options
| author | John Denker <jsd@av8n.com> | 2024-11-20 14:14:22 -0700 |
|---|---|---|
| committer | John Denker <jsd@av8n.com> | 2024-11-20 15:49:48 -0700 |
| commit | 375101b6cf8d85d4026efa485689969642566816 (patch) | |
| tree | f5b4cfc5321b906bec1a335502101727db63a8e8 | |
| parent | 1dbd6a1513bbfa067fd9f2c977f8c42e5d8cfbc4 (diff) | |
add .gitignore
| -rw-r--r-- | .gitignore | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..20efecf --- /dev/null +++ b/.gitignore @@ -0,0 +1,12 @@ +htdp +a.out +*.d +*.o +*.out +*.mod +*.orig +*.rej +*#* +*~ +*.log +*.logg |