diff options
| author | Vincent Ambo <mail@tazj.in> | 2020-07-17T20·48+0100 |
|---|---|---|
| committer | tazjin <mail@tazj.in> | 2020-07-18T00·56+0000 |
| commit | c9ba75cc954342b9923594fa40fdcb22fdb59328 (patch) | |
| tree | 86a38dced68f63dbea80b26804479e5970a0dd8a /ops | |
| parent | f80eb91c2a49a00893954b84ef70c431133e03da (diff) | |
chore(3p/immer): Remove .gitmodules r/1372
This breaks tooling for some people, and we aren't actually using the git submodules. Change-Id: I5b4dfd4ad76bf72e9dbc7de29f17f28ebf6b8ba0 Reviewed-on: https://cl.tvl.fyi/c/depot/+/1255 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>
Diffstat (limited to 'ops')
0 files changed, 0 insertions, 0 deletions