diff options
author | Hans Bolinder <[email protected]> | 2011-09-27 09:07:20 +0200 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2011-09-27 09:07:20 +0200 |
commit | 67e216c86754e7076ffdbb87fec8b48ab0d28e56 (patch) | |
tree | 9e9b66077d72e611083e66bba35f3270990ca14d /lib/.gitignore | |
parent | 0e132c07e92835811e01bec415399916afc3e44d (diff) | |
parent | adeb8abaca990e6084ee101656832e115579a8ba (diff) | |
download | otp-67e216c86754e7076ffdbb87fec8b48ab0d28e56.tar.gz otp-67e216c86754e7076ffdbb87fec8b48ab0d28e56.tar.bz2 otp-67e216c86754e7076ffdbb87fec8b48ab0d28e56.zip |
Merge branch 'dev' into major
* dev:
Improve the generation of man pages
Correct XML files
Diffstat (limited to 'lib/.gitignore')
0 files changed, 0 insertions, 0 deletions