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 /HOWTO/INSTALL-CROSS.md | |
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 'HOWTO/INSTALL-CROSS.md')
0 files changed, 0 insertions, 0 deletions