A clone of https://github.com/ReCodEx/wiki.wiki.git because it is broken.

You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Martin Polanka 57d18b81a3 proper json in pipelines		7 years ago
.gitignore	corrected english in the introduction	8 years ago
Analysis.md	Divide rewritten documentation into separate chapters	8 years ago
Conclusion.md	Divide rewritten documentation into separate chapters	8 years ago
Database-schema.md	Fix preview	8 years ago
Database.md	More typos	8 years ago
Exercise-Configuration.md	proper json in pipelines	7 years ago
Home.md	typo	8 years ago
Implementation.md	explanation of cases when broker needs to send messages to the monitor	8 years ago
Installation.md	More typos	8 years ago
Introduction.md	Divide rewritten documentation into separate chapters	8 years ago
Job-configuration.md	fix description of hw-groups config option	8 years ago
Logo.md	Change wiki URL	8 years ago
RuntimeEnvironments.md	add a page on runtime environments	8 years ago
System-configuration.md	doc	8 years ago
User-documentation.md	remove chdir	8 years ago
_Footer.md	Created _Footer (markdown)	9 years ago
_Sidebar.md	exercise config	8 years ago
spell.json	web app analysis	8 years ago