diff options
| author | Christian Krinitsin <mail@krinitsin.com> | 2025-06-30 12:24:58 +0000 |
|---|---|---|
| committer | Christian Krinitsin <mail@krinitsin.com> | 2025-06-30 12:27:06 +0000 |
| commit | 33606b41d35115f887ea688b1a16f2ff85bf2fe4 (patch) | |
| tree | 406b2c7b19a087ba437c68f3dbf0b589fa1d6150 /results/scraper/launchpad-without-comments/1836537 | |
| parent | adedf8771bc4de3113041ca21bd4d0d1c0014b6a (diff) | |
| download | emulator-bug-study-33606b41d35115f887ea688b1a16f2ff85bf2fe4.tar.gz emulator-bug-study-33606b41d35115f887ea688b1a16f2ff85bf2fe4.zip | |
add launchpad bug reports without comments
Diffstat (limited to 'results/scraper/launchpad-without-comments/1836537')
| -rw-r--r-- | results/scraper/launchpad-without-comments/1836537 | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/results/scraper/launchpad-without-comments/1836537 b/results/scraper/launchpad-without-comments/1836537 new file mode 100644 index 00000000..02726288 --- /dev/null +++ b/results/scraper/launchpad-without-comments/1836537 @@ -0,0 +1,10 @@ +Kconfig-related options not shown in ./configure --help + +tag: v4.1.0-rc0 + +I notice these options not documented by '--help': + + --with-default-devices) default_devices="yes" + --without-default-devices) default_devices="no" + +We might have other options not documented too. \ No newline at end of file |