diff options
| author | Felipe Boeira <felipe.boeira@liu.se> | 2019-01-21 13:27:33 +0100 |
|---|---|---|
| committer | Felipe Boeira <felipe.boeira@liu.se> | 2019-01-21 13:27:33 +0100 |
| commit | 54f498fe4fb918ee7b40786b7599803bc9e7445a (patch) | |
| tree | 6283218c59c32cd473e37561d7097efaeac97c27 /src/examples/.cvsignore | |
| parent | b257cc57cf50704c785d1a3b02badcb166a19ebe (diff) | |
| download | pintos-54f498fe4fb918ee7b40786b7599803bc9e7445a.tar.gz | |
Added .gitignore
Diffstat (limited to 'src/examples/.cvsignore')
| -rw-r--r-- | src/examples/.cvsignore | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/src/examples/.cvsignore b/src/examples/.cvsignore deleted file mode 100644 index b05754c..0000000 --- a/src/examples/.cvsignore +++ /dev/null @@ -1,29 +0,0 @@ -cat -cmp -cp -echo -halt -hex-dump -ls -mcat -mcp -mkdir -pwd -rm -shell -bubsort -insult -lineup -matmult -recursor -lab2test -pfs_writer -pfs -sumargv -longrun -pfs_reader -child -parent -dummy -create-bad -*.d |