-
sajolida authored
They were not saying much that isn't said already in startup_options#additional. So removing them will make both the documentation tree and the integration in the Greeter simpler.
e6b6cc3a
They were not saying much that isn't said already in startup_options#additional. So removing them will make both the documentation tree and the integration in the Greeter simpler.