diff options
| author | Björn Gustavsson <[email protected]> | 2019-06-17 12:58:02 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2019-06-17 12:58:02 +0200 |
| commit | d3f4351b6fc846f55fae221760da9b4c04560007 (patch) | |
| tree | adfd1e1fb4c19099fb42b20e69e708aff406b191 /plt | |
| parent | f3b8389911155e196f748b216b3ecc4cd3eb2db4 (diff) | |
| parent | f2ed968cfe1633190dcc8747c5559c9f864185c0 (diff) | |
| download | otp-d3f4351b6fc846f55fae221760da9b4c04560007.tar.gz otp-d3f4351b6fc846f55fae221760da9b4c04560007.tar.bz2 otp-d3f4351b6fc846f55fae221760da9b4c04560007.zip | |
Merge branch 'maint'
* maint:
cc.sh: Optimize dependency generation
Diffstat (limited to 'plt')
0 files changed, 0 insertions, 0 deletions