diff options
| author | Lukas Larsson <[email protected]> | 2015-07-02 11:13:32 +0200 |
|---|---|---|
| committer | Lukas Larsson <[email protected]> | 2015-07-10 14:15:37 +0200 |
| commit | c431a065ba515d27830f01c852f70940efb3003b (patch) | |
| tree | 3fffccb470dc6cfa81bc397f4f35d5b5eb226d17 /lib/ose/doc/src/.gitignore | |
| parent | db2e9773f95a79b40e197031c7b8782392fa9d02 (diff) | |
| download | otp-c431a065ba515d27830f01c852f70940efb3003b.tar.gz otp-c431a065ba515d27830f01c852f70940efb3003b.tar.bz2 otp-c431a065ba515d27830f01c852f70940efb3003b.zip | |
ose: Remove all code related to the OSE port
The OSE port is no longer supported and this commit removed it
and any changes related to it. The things that were general
improvements have been left in the code.
Diffstat (limited to 'lib/ose/doc/src/.gitignore')
| -rw-r--r-- | lib/ose/doc/src/.gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/ose/doc/src/.gitignore b/lib/ose/doc/src/.gitignore deleted file mode 100644 index 860e9e703e..0000000000 --- a/lib/ose/doc/src/.gitignore +++ /dev/null @@ -1 +0,0 @@ -ose.xml |