diff options
author | Ulf Wiger <ulf@wiger.net> | 2016-03-23 10:01:28 +0100 |
---|---|---|
committer | Ulf Wiger <ulf@wiger.net> | 2016-03-23 10:01:28 +0100 |
commit | 39fbfce033ef3984a481b88a6d46549c0c38f055 (patch) | |
tree | 13b94188dd71623e1697c5ef023b250b36ae7545 /deps/trace_runner/.gitignore | |
parent | 9a3db2baecdddbfba8e8bfeb71038e4de6a44225 (diff) | |
parent | c69df631f683c99e8a322a8729bc67d94a355927 (diff) | |
download | rvi_core-39fbfce033ef3984a481b88a6d46549c0c38f055.tar.gz |
Merge pull request #97 from uwiger/uw-0_5_0-bugfix
Uw 0 5 0 bugfix
Diffstat (limited to 'deps/trace_runner/.gitignore')
-rw-r--r-- | deps/trace_runner/.gitignore | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/deps/trace_runner/.gitignore b/deps/trace_runner/.gitignore new file mode 100644 index 0000000..8e46d5a --- /dev/null +++ b/deps/trace_runner/.gitignore @@ -0,0 +1,10 @@ +.eunit +deps +*.o +*.beam +*.plt +erl_crash.dump +ebin +rel/example_project +.concrete/DEV_MODE +.rebar |