GitHub - jointpoints/switch-selection-docs: Documentation for the switch selection tool https://git.rwth-aachen.de/eins-wimis/switch-selection

Name		Name	Last commit message	Last commit date
implementors		implementors
src/switch_selection		src/switch_selection
static.files		static.files
switch_selection		switch_selection
.gitignore		.gitignore
.lock		.lock
crates.js		crates.js
help.html		help.html
search-index.js		search-index.js
settings.html		settings.html
source-files.js		source-files.js