diff options
author | Erlang/OTP <[email protected]> | 2019-04-16 16:37:40 +0200 |
---|---|---|
committer | Erlang/OTP <[email protected]> | 2019-04-16 16:37:40 +0200 |
commit | 6bc51edfd7efb409230c0ca1dffb7508e65687f9 (patch) | |
tree | f8c4f992e647dadaca250a0a009efcf333ca40a1 /system/doc/html/system_principles/.gitignore | |
parent | 8e033a488a9eff5589c4203785c18effd09e4a07 (diff) | |
parent | 2599dcfc973d30cfdf438d4587885eda154522ab (diff) | |
download | otp-6bc51edfd7efb409230c0ca1dffb7508e65687f9.tar.gz otp-6bc51edfd7efb409230c0ca1dffb7508e65687f9.tar.bz2 otp-6bc51edfd7efb409230c0ca1dffb7508e65687f9.zip |
Merge branch 'rickard/make-fixes-20/OTP-15551' into maint-20
* rickard/make-fixes-20/OTP-15551:
Fix install phase in build system
Diffstat (limited to 'system/doc/html/system_principles/.gitignore')
-rw-r--r-- | system/doc/html/system_principles/.gitignore | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/system/doc/html/system_principles/.gitignore b/system/doc/html/system_principles/.gitignore new file mode 100644 index 0000000000..e69de29bb2 --- /dev/null +++ b/system/doc/html/system_principles/.gitignore |