diff options
author | Lukas Larsson <[email protected]> | 2015-07-14 16:37:41 +0200 |
---|---|---|
committer | Lukas Larsson <[email protected]> | 2015-07-14 16:37:41 +0200 |
commit | 6cf4260ae1604cdb20ad7782d8a491edcc3310e7 (patch) | |
tree | 226ccae99a48f4dd4d27a014b62798cefe501947 /.gitignore | |
parent | 31623a16629dee45e3d3e6f33ffb0865b157301a (diff) | |
parent | d2a0690865339a2d37badc4b79025f97b34e3d46 (diff) | |
download | otp-6cf4260ae1604cdb20ad7782d8a491edcc3310e7.tar.gz otp-6cf4260ae1604cdb20ad7782d8a491edcc3310e7.tar.bz2 otp-6cf4260ae1604cdb20ad7782d8a491edcc3310e7.zip |
Merge branch 'lukas/ose/remove/OTP-12573'
* lukas/ose/remove/OTP-12573:
Remove OSE from erl_interface
ose: Remove all code related to the OSE port
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions