diff options
Diffstat (limited to 'results/scraper/launchpad-without-comments/1884507')
| -rw-r--r-- | results/scraper/launchpad-without-comments/1884507 | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/results/scraper/launchpad-without-comments/1884507 b/results/scraper/launchpad-without-comments/1884507 new file mode 100644 index 000000000..a79eb4f7a --- /dev/null +++ b/results/scraper/launchpad-without-comments/1884507 @@ -0,0 +1,6 @@ +'none' machine should use 'none' display option + +As the 'none' machine doesn't have any peripheral (except CPU cores) +it is pointless to start a display. + +'-M none' should imply '-display none'. \ No newline at end of file |