diff options
| author | Siri Hansen <[email protected]> | 2017-12-20 13:35:46 +0100 |
|---|---|---|
| committer | Siri Hansen <[email protected]> | 2017-12-20 13:35:46 +0100 |
| commit | e30bbbec1c4a73f2bbf633a67ab2a9ef85845729 (patch) | |
| tree | fa83e4dedd9e1afc6b124e8f56a802041525f7dc /.gitignore | |
| parent | fd6ad6cdc4c0dcd78d302bd5817e274e108889f1 (diff) | |
| download | otp-e30bbbec1c4a73f2bbf633a67ab2a9ef85845729.tar.gz otp-e30bbbec1c4a73f2bbf633a67ab2a9ef85845729.tar.bz2 otp-e30bbbec1c4a73f2bbf633a67ab2a9ef85845729.zip | |
Add runtime_tools/include to tertiary bootstrap
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 7bc051278c..f77d771256 100644 --- a/.gitignore +++ b/.gitignore @@ -131,6 +131,7 @@ JAVADOC-GENERATED /bootstrap/lib/ic /bootstrap/lib/orber /bootstrap/lib/parsetools +/bootstrap/lib/runtime_tools /bootstrap/lib/sasl /bootstrap/lib/snmp /bootstrap/lib/syntax_tools |