Files
serena/docs/02-usage
Dominik Jain 5b103ee281 Improve configurability of modes
Modes can now be configured in three places (in reverse order of precedence)
  * global config
  * project config
  * command line

Furthermore, we differentiate base modes from default modes,
where command line parameters override only default modes,
adding more flexibility

Resolves #926
2026-01-26 20:20:29 +01:00
..
2025-11-08 12:43:17 +01:00