Options
coursemgmt.client.command.GotoExercise.Options
final case class Options(exercise: Option[ExerciseId], force: ForceMoveToExercise, studentifiedRepo: Option[StudentifiedRepo])
Attributes
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
Members list
In this article