tree ad42d6295acebc5856f63cdf3c2f759c21f7edc3
parent 1a049937c8af389a9c6276b80d4f53ed5f40f9a9
author Tim Windelschmidt <tim@monogon.tech> 1720832392 +0200
committer Tim Windelschmidt <tim@monogon.tech> 1721132540 +0000

bazelrc: replace deprecated flag

Change-Id: I1299150fa3418b979a6410e0a763fa7c446ca956
Reviewed-on: https://review.monogon.dev/c/monogon/+/3219
Reviewed-by: Lorenz Brun <lorenz@monogon.tech>
Tested-by: Jenkins CI