GitHub / DOMjudge/domjudge issues and pull requests
Labelled with: documentation
#2681 - Unable to run judgedeamon as a service, documentation seems to be incorrect
Issue -
State: closed - Opened by niconaus about 1 year ago
- 2 comments
Labels: build system, documentation
#2358 - Search in DOMjudge manual broken
Issue -
State: closed - Opened by meisterT almost 2 years ago
- 2 comments
Labels: documentation
#2277 - Possible Linux kernel lock contention when running multiple judgedaemons per machine
Issue -
State: closed - Opened by taoky about 2 years ago
- 4 comments
Labels: judging backend, documentation
#2201 - Supported installations in $HOME
Issue -
State: closed - Opened by vmcj about 2 years ago
- 2 comments
Labels: enhancement, build system, documentation, needs-input, testing
#2086 - default `configure` does not install service files for judgedaemon, docs do mention those.
Issue -
State: closed - Opened by vmcj over 2 years ago
- 3 comments
Labels: build system, documentation
#79 - Standard Compliance Document
Issue -
State: closed - Opened by eldering over 12 years ago
- 2 comments
Labels: wontfix, documentation