diff options
| author | Patrik Nyblom <[email protected]> | 2011-06-21 12:18:15 +0200 |
|---|---|---|
| committer | Patrik Nyblom <[email protected]> | 2011-06-21 12:18:15 +0200 |
| commit | b781506f927672fe22c3fba20e25d39ee64c9594 (patch) | |
| tree | cba3158ffd2f41e6493342d884382bfb2eaa672e /erts/doc/specs | |
| parent | 22d7ccd9ef7f07baa0ffa648c16f90bfd2c0e342 (diff) | |
| parent | b9d8ae5aa52774ed0ce12c9d21ad7f3670c2dca1 (diff) | |
| download | otp-b781506f927672fe22c3fba20e25d39ee64c9594.tar.gz otp-b781506f927672fe22c3fba20e25d39ee64c9594.tar.bz2 otp-b781506f927672fe22c3fba20e25d39ee64c9594.zip | |
Merge branch 'dev' into major
Diffstat (limited to 'erts/doc/specs')
| -rw-r--r-- | erts/doc/specs/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/erts/doc/specs/.gitignore b/erts/doc/specs/.gitignore new file mode 100644 index 0000000000..322eebcb06 --- /dev/null +++ b/erts/doc/specs/.gitignore @@ -0,0 +1 @@ +specs_*.xml |