diff options
author | Lars Thorsen <[email protected]> | 2012-09-21 12:02:52 +0200 |
---|---|---|
committer | Lars Thorsen <[email protected]> | 2012-11-16 12:04:37 +0100 |
commit | c91a8e7e4b81eed46d268f1fc3840661c66d5b16 (patch) | |
tree | 0880c897efb71ee58115952d0fd9211e0a8f0a0e /.gitattributes | |
parent | f0197373229b7ef72ef808476bfcb65eebfd1b82 (diff) | |
download | otp-c91a8e7e4b81eed46d268f1fc3840661c66d5b16.tar.gz otp-c91a8e7e4b81eed46d268f1fc3840661c66d5b16.tar.bz2 otp-c91a8e7e4b81eed46d268f1fc3840661c66d5b16.zip |
[safs] Add pdfname to the html target for the users guide
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions