diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-05-11T11·31+0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-05-11T11·31+0200 |
| commit | 6f245bf24a1154142acf2b8dfa620b891f461d55 (patch) | |
| tree | 7a3337d9df01af8ef7e6210260a9891f87fb5fee /.gitignore | |
| parent | 45d7b1a9e9018a2be5add1dc6d983e6b7b339c61 (diff) | |
Change the meaning of info.ultimate
It now means "paths that were built locally". It no longer includes paths that were added locally. For those we don't need info.ultimate, since we have the content-addressability assertion (info.ca).
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions