tree f69de58cf76b274e4c83f2472d08b578afb64fdc
parent d20af4f15347651efa7b90490f8e657d35281883
author Serge Bazanski <serge@monogon.tech> 1687260143 +0200
committer Serge Bazanski <serge@monogon.tech> 1687270683 +0000

third_party/linux: ignore more configuration settings

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