A marking system

Mark George authored on 17 Jun 2022
db Minor cleanup. Library updates. Update schema to latest version. 2 years ago
src/ main Make marking window modal. Fix bugs with incomplete results. 2 years ago
.gitignore Change 'special' criterion to text fields. 2 years ago
README.md Initial commit 10 years ago
build.gradle Minor cleanup. Library updates. Update schema to latest version. 2 years ago
README.md

marking

A marking system.