diff options
| author | William Carroll <wpcarro@gmail.com> | 2022-11-17T18·55-0800 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2022-11-17T18·59+0000 |
| commit | 8c3d87cd14355f95e547db696db76863d5727a44 (patch) | |
| tree | 06444331c32ed65ec51c79b93e382c844516a770 /users/wpcarro/tools/run/default.nix | |
| parent | 179d670ef2a8c09ca1957f8cbadd0c63620218b2 (diff) | |
chore(wpcarro/blog): Remove redundant header r/5287
This doesn't look great, so let's remove it. Change-Id: I759b31f37ee07ba87e249f41b12a86e12e90e297 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7304 Autosubmit: wpcarro <wpcarro@gmail.com> Tested-by: BuildkiteCI Reviewed-by: wpcarro <wpcarro@gmail.com>
Diffstat (limited to 'users/wpcarro/tools/run/default.nix')
0 files changed, 0 insertions, 0 deletions