diff options
| author | Mister Oyster <oysterized@gmail.com> | 2017-02-28 14:03:59 +0100 |
|---|---|---|
| committer | Mister Oyster <oysterized@gmail.com> | 2017-04-11 10:59:58 +0200 |
| commit | 4970d4a3387111d85f7f66b1585a25b56edeb089 (patch) | |
| tree | 2281139ee23af5642944d4ee5ac5a3897f43a146 /scripts/checkversion.pl | |
| parent | 60a74f1884ad9dec66d3fdd9315c74121e45d146 (diff) | |
defconfig: disable GATOR_DRIVER (profiling tool)
Diffstat (limited to 'scripts/checkversion.pl')
0 files changed, 0 insertions, 0 deletions