diff options
| author | Christopher Baines <mail@cbaines.net> | 2020-05-03 13:23:43 +0100 |
|---|---|---|
| committer | Christopher Baines <mail@cbaines.net> | 2020-05-03 13:23:43 +0100 |
| commit | 6baef6ae25f5718ec0f2ba917628e56e2da8a78a (patch) | |
| tree | 48586c6ceb3b6485fb6dc62fbad5944f6621ca31 /.dir-locals.el | |
| parent | b4111af288a5ee3e0710edc79f6bc5d639366d0e (diff) | |
| download | data-service-6baef6ae25f5718ec0f2ba917628e56e2da8a78a.tar data-service-6baef6ae25f5718ec0f2ba917628e56e2da8a78a.tar.gz | |
Split out querying of build servers and substitute servers
These are related things, but somewhat separate. This change should make it
easier to deal with changes regarding querying build servers, and querying
substitute servers.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions