Motiejus Jakštys 5cccfb1ce1 move bin/ to tools/ ...

The directories are not that different now. Also, clean up .bazelrc

2023-03-10 10:37:43 +02:00

80 B

Raw Permalink Blame History

View Raw