diff options
author | Björn-Egil Dahlberg <[email protected]> | 2015-07-03 14:10:00 +0200 |
---|---|---|
committer | Björn-Egil Dahlberg <[email protected]> | 2015-07-03 14:10:00 +0200 |
commit | 2c0fc495ffe04ab704a52192faa098b4c1b67121 (patch) | |
tree | 6784e50918db148e55bb7db5885ffc551ef69173 /lib/.gitignore | |
parent | 74a95b3d511177a9b35c2b0272b9ca5511b6f750 (diff) | |
download | otp-2c0fc495ffe04ab704a52192faa098b4c1b67121.tar.gz otp-2c0fc495ffe04ab704a52192faa098b4c1b67121.tar.bz2 otp-2c0fc495ffe04ab704a52192faa098b4c1b67121.zip |
mnesia: Update gitignore
Diffstat (limited to 'lib/.gitignore')
-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 |