diff options
author | Lars Thorsen <[email protected]> | 2016-05-13 08:04:51 +0200 |
---|---|---|
committer | Lars Thorsen <[email protected]> | 2016-06-01 14:38:36 +0200 |
commit | a3afcff92485b6a696e40359a7d0300d4661e9c1 (patch) | |
tree | df7b553e7fe579ab6512c90bf05e7432885777cc /.gitignore | |
parent | d7e91348bc49a8f46a4d8223d522e2d92469f6da (diff) | |
download | otp-a3afcff92485b6a696e40359a7d0300d4661e9c1.tar.gz otp-a3afcff92485b6a696e40359a7d0300d4661e9c1.tar.bz2 otp-a3afcff92485b6a696e40359a7d0300d4661e9c1.zip |
Make it possible to run xmllint target in system documentation
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions