diff options
author | Björn Gustavsson <[email protected]> | 2012-02-07 16:14:27 +0100 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2012-02-08 15:36:45 +0100 |
commit | 80f8bf15157984d32323e3bca6d7455158e502d3 (patch) | |
tree | bab32a848b21cf7e02b8e4931b9eaceb64b28772 /.gitignore | |
parent | ab2ba6f1b0713fbe5c78f67aeefb73ffc006e995 (diff) | |
download | otp-80f8bf15157984d32323e3bca6d7455158e502d3.tar.gz otp-80f8bf15157984d32323e3bca6d7455158e502d3.tar.bz2 otp-80f8bf15157984d32323e3bca6d7455158e502d3.zip |
Mark doc_builder as removed (and not merely deprecated)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions