diff options
| author | sterni <sternenseemann@systemli.org> | 2022-05-19T08·27+0200 |
|---|---|---|
| committer | sterni <sternenseemann@systemli.org> | 2022-05-19T08·45+0200 |
| commit | 40803d9c6d1cf1acc286a40e400c8972ad5ce8d0 (patch) | |
| tree | 5cd44d7e050af9ac4394d7d1ef64834ff7a6a852 /users/wpcarro/scratch/deepmind/part_two/product-of-other-numbers.py | |
| parent | e579aa66030bde44f2b0f7d3031c08af0f7d3a3c (diff) | |
| parent | 0c86e2ac3f20fa43fabd2f7ff2dc3d16fadd08e0 (diff) | |
subtree(3p/cgit): merge cgit-pink into depot cgit r/4094
cgit-pink is a maintained fork of cgit that follows upstream git more closely and already contains a lot of patches we already had applied. Consequently, it seems sensible it becomes our future upstream, we may even be able to upstream some of our custom, less invasive patches. Change-Id: Ia081e4508866f32298986c7160f4890c8a7c8922
Diffstat (limited to 'users/wpcarro/scratch/deepmind/part_two/product-of-other-numbers.py')
0 files changed, 0 insertions, 0 deletions