diff options
| author | Vincent Ambo <tazjin@google.com> | 2020-05-20T00·10+0100 |
|---|---|---|
| committer | Vincent Ambo <tazjin@google.com> | 2020-05-20T00·10+0100 |
| commit | ffb2ae54beb5796cd408fbe15d2d2da09ff37adf (patch) | |
| tree | ef26eeb1526149b1569c6295fb3297469099bf7e /.gitignore | |
| parent | ddd059e0fa97662fe2c8340f44ffc753491ce9ef (diff) | |
chore(third_party/nix): Dump of minor accumulated changes r/780
None of these are worthy of a specific commit, or even have a real reason behind them, but I didn't want to lose them.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions