x11-servers/x11rdp
- fix JP106 OPTION (non default)
Note: OPTION handling needs a cleanup
Reported by: Wolfgang Schraml <wschraml@rwg-bayreuth.de>
Description
Description
Details
Details
- Provenance
pgollucci Authored on - Parents
- rP390670: math/why3-gpl: upgrade version 2014 => 2015
- Branches
- Unknown
- Tags