diff options
| author | Björn Gustavsson <[email protected]> | 2017-04-12 15:19:23 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2017-04-20 15:00:51 +0200 |
| commit | 030e6ef2efaad12d485cec1727c4b68c09c6c584 (patch) | |
| tree | 1ddcc232f4ae8ae72c0baf8be93f1e97ada67362 /lib/dialyzer/plt/.gitignore | |
| parent | 19e9249d960a5b15b4e222efdcb96efbe122853e (diff) | |
| download | otp-030e6ef2efaad12d485cec1727c4b68c09c6c584.tar.gz otp-030e6ef2efaad12d485cec1727c4b68c09c6c584.tar.bz2 otp-030e6ef2efaad12d485cec1727c4b68c09c6c584.zip | |
Add back TypEr to the main OTP repository
It turned out that the dependencies between Dialyzer
and TypEr makes it impractical to have TypEr in a
separate repository.
Add it back to the OTP repository, but put the Erlang
module 'typer' in the dialyzer application.
Diffstat (limited to 'lib/dialyzer/plt/.gitignore')
0 files changed, 0 insertions, 0 deletions