diff options
| author | Björn Gustavsson <[email protected]> | 2017-04-21 10:04:41 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2017-04-21 10:04:41 +0200 |
| commit | b80a70b1ca7ca73a6f1c0aece098e258a0c45595 (patch) | |
| tree | fecd8dd74d0fcb57af5886dff50e620946da40cd /lib/dialyzer/doc/src/ref_man.xml | |
| parent | 3f124994d35cbfc5158b89f91c16d4db6615d3fb (diff) | |
| parent | 830b575e4d1260e7780a792ffdea81f028d86f9d (diff) | |
| download | otp-b80a70b1ca7ca73a6f1c0aece098e258a0c45595.tar.gz otp-b80a70b1ca7ca73a6f1c0aece098e258a0c45595.tar.bz2 otp-b80a70b1ca7ca73a6f1c0aece098e258a0c45595.zip | |
Merge branch 'bjorn/dialyzer/add-typer/OTP-14336' into run-travis
* bjorn/dialyzer/add-typer/OTP-14336:
Add smoke test for TypER
Add back TypEr to the main OTP repository
Diffstat (limited to 'lib/dialyzer/doc/src/ref_man.xml')
| -rw-r--r-- | lib/dialyzer/doc/src/ref_man.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/dialyzer/doc/src/ref_man.xml b/lib/dialyzer/doc/src/ref_man.xml index ddac047f2e..d820fc5e00 100644 --- a/lib/dialyzer/doc/src/ref_man.xml +++ b/lib/dialyzer/doc/src/ref_man.xml @@ -31,5 +31,6 @@ <description> </description> <xi:include href="dialyzer.xml"/> + <xi:include href="typer.xml"/> </application> |