diff options
| author | Anders Svensson <[email protected]> | 2012-10-06 13:04:38 +0200 |
|---|---|---|
| committer | Anders Svensson <[email protected]> | 2012-11-05 11:53:44 +0100 |
| commit | 7df9a580ea0c1421dd548cb41f5beb6605701ae3 (patch) | |
| tree | e31c820507fde2a2e82bda52dc8c41822e433402 /make/save_args | |
| parent | bb9a5fd8ba4126283507ac843fda3c25861145cd (diff) | |
| download | otp-7df9a580ea0c1421dd548cb41f5beb6605701ae3.tar.gz otp-7df9a580ea0c1421dd548cb41f5beb6605701ae3.tar.bz2 otp-7df9a580ea0c1421dd548cb41f5beb6605701ae3.zip | |
Remove obsolete make target
There are plt/dialyze targets in src/Makefile.
Diffstat (limited to 'make/save_args')
0 files changed, 0 insertions, 0 deletions