diff options
| author | John Högberg <[email protected]> | 2018-10-05 10:05:59 +0200 |
|---|---|---|
| committer | John Högberg <[email protected]> | 2018-10-05 11:47:57 +0200 |
| commit | 16b93b98516df3fcc79a52847fa89fdda5b187c0 (patch) | |
| tree | a39706139c19fa1387057b9affc5d89cce963bf3 /lib/dialyzer/README | |
| parent | 18a742fa6d52999d0ba415330ba2168caaeb1256 (diff) | |
| download | otp-16b93b98516df3fcc79a52847fa89fdda5b187c0.tar.gz otp-16b93b98516df3fcc79a52847fa89fdda5b187c0.tar.bz2 otp-16b93b98516df3fcc79a52847fa89fdda5b187c0.zip | |
epp: Allow user to set source name independently of input file name
Note that this does *not* affect -include()'d files or the -file()
directive.
Diffstat (limited to 'lib/dialyzer/README')
0 files changed, 0 insertions, 0 deletions