diff options
| author | Björn-Egil Dahlberg <[email protected]> | 2015-07-03 14:10:45 +0200 |
|---|---|---|
| committer | Björn-Egil Dahlberg <[email protected]> | 2015-07-03 14:10:45 +0200 |
| commit | a2c63d58ff27493d0aa7a463dafbabf5f4af5649 (patch) | |
| tree | 71c5041de460a77181c65c8b822559a4bb0f99ac /lib | |
| parent | cbdc82ba5fdfeaee255f5f16e0d8c0e840cef3d8 (diff) | |
| parent | 2c0fc495ffe04ab704a52192faa098b4c1b67121 (diff) | |
| download | otp-a2c63d58ff27493d0aa7a463dafbabf5f4af5649.tar.gz otp-a2c63d58ff27493d0aa7a463dafbabf5f4af5649.tar.bz2 otp-a2c63d58ff27493d0aa7a463dafbabf5f4af5649.zip | |
Merge branch 'egil/update-gitgnore' into maint
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/.gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/.gitignore b/lib/.gitignore index 58c49adce0..b1da61706d 100644 --- a/lib/.gitignore +++ b/lib/.gitignore @@ -133,10 +133,12 @@ # mnesia +/mnesia/doc/src/Mnesia_App_A.xml /mnesia/doc/src/Mnesia_App_B.xml /mnesia/doc/src/Mnesia_App_C.xml /mnesia/doc/src/Mnesia_App_D.xml /mnesia/doc/src/Mnesia_chap2.xml +/mnesia/doc/src/Mnesia_chap3.xml /mnesia/doc/src/Mnesia_chap4.xml /mnesia/doc/src/Mnesia_chap5.xml /mnesia/doc/src/Mnesia_chap7.xml |