diff options
author | alk3pInjection <webmaster@raspii.tech> | 2022-05-05 00:39:05 +0800 |
---|---|---|
committer | alk3pInjection <webmaster@raspii.tech> | 2022-05-05 01:34:30 +0800 |
commit | a72683ef09718687a9c57823d2934e9bde601acc (patch) | |
tree | 1702e5c7c102b35f716e79522e5520d7ca43864d /tools/warn/java_warn_patterns.py | |
parent | 22dd9cf906765c9ddd7c7eb978cc13e309345a22 (diff) |
DO NOT MERGE core: Allow overriding platform SPL
We do not really care whether SPL is properly reported, thats it.
This partially reverts commit 693c7fb31be9868f3e9f89d041d8bb16ac0f6cf6.
Change-Id: I58b0b587692d5e269794a599edfb95e72b354f28
Diffstat (limited to 'tools/warn/java_warn_patterns.py')
0 files changed, 0 insertions, 0 deletions