The options file created by the original configuration
cmd_line.txt (text/plain), 282 bytes, created by Gert Wollny on 2018-12-16 11:57:43 UTC
(hide)
 
Creator: Gert Wollny
Created: 2018-12-16 11:57:43 UTC
Size: 282 bytes
Actions: View
Attachments on bug 109071: 142820

Use of freedesktop.org services, including Bugzilla, is subject to our Code of Conduct. How we collect and use information is described in our Privacy Policy.