diff options
| author | Lukas Larsson <[email protected]> | 2017-05-16 10:47:44 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2017-05-16 10:47:44 +0200 |
| commit | 8fd3466d1fef48a09a45f7fd7f031addf3855dc2 (patch) | |
| tree | 86164a6d5475cd80378af352d6734044b1a1f513 /configure.in | |
| parent | 836d89d9423b4aa01fc887286b6a97721f62c02e (diff) | |
| parent | e6437e926340c3024449b83826f8013d187caaed (diff) | |
| download | otp-8fd3466d1fef48a09a45f7fd7f031addf3855dc2.tar.gz otp-8fd3466d1fef48a09a45f7fd7f031addf3855dc2.tar.bz2 otp-8fd3466d1fef48a09a45f7fd7f031addf3855dc2.zip | |
Merge pull request #1436 from garazdawi/lukas/erts/remove_unused_functions
erts: Remove old unused functions
Diffstat (limited to 'configure.in')
0 files changed, 0 insertions, 0 deletions