diff options
| author | Dan Gudmundsson <[email protected]> | 2017-09-20 09:23:09 +0200 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2017-09-20 09:23:09 +0200 |
| commit | 99876dd2dd9150ec4b15220c7fd46ed0b8200a19 (patch) | |
| tree | e314c222d9528c7e4c21044fa77965904e8ad9e8 /.dir-locals.el | |
| parent | 8b24be58d37a8912efdcec9cd1e354cfa41e4ef4 (diff) | |
| parent | bec2eddd5a3ebf5947d5305bfc8f4e82e84b6681 (diff) | |
| download | otp-99876dd2dd9150ec4b15220c7fd46ed0b8200a19.tar.gz otp-99876dd2dd9150ec4b15220c7fd46ed0b8200a19.tar.bz2 otp-99876dd2dd9150ec4b15220c7fd46ed0b8200a19.zip | |
Merge branch 'maint'
* maint:
erts, stdlib: Fix xmllint warning
Update runtime deps to depend on new stdlib functionality
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions