diff options
| author | Florian Dold <florian.dold@gmail.com> | 2019-12-10 12:22:29 +0100 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2019-12-10 12:22:29 +0100 |
| commit | f05788f59d2872b52410e1689b2c7e896541dff9 (patch) | |
| tree | 7d5b88c551e21bc4fa2561bd06ec1bb8f011bfdb /.dir-locals.el | |
| parent | 6415564b9259a4a6a2f6ec9cb934eab3d56a1677 (diff) | |
fix session IDs, fix proposal download concurrency bug
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions