chiark / gitweb /
common: document read_pkg_args() and read_app_args()