add platform_args to config dictionary and add a short option alias
1 file changed
tree: f38db48ce399e50fad64ee631768f28a2241e16b
  1. LICENSE
  2. README
  3. doc/
  4. src/
  5. tests/
  6. tools/