diff options
| author | Marco Boss <bossm8@bfh.ch> | 2022-03-01 16:00:08 +0100 |
|---|---|---|
| committer | Marco Boss <bossm8@bfh.ch> | 2022-03-01 16:00:08 +0100 |
| commit | 3716592addcac5e31d092a83cf02a0fec57d8743 (patch) | |
| tree | fe75b1488cc6d4bb1d2ab0ef6c399343822bdd85 /.dir-locals.el | |
| parent | 0eed0c0de21648453c7abc1e999c5740dacde0d7 (diff) | |
| parent | b4f7fef224c7edc075636b14d68f7c20a7f1eb35 (diff) | |
Merge branch 'dev/boss/sharding'
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions