* shorten lines to adhere to guidlines

* update and fix formating and typos

* update readme to document paraller pages

* remove unused file

* add navigation to tech part of docs

* delete tech overview

* move files from submodules to this repo

* change definition for testing

* fix formating and naming

* Apply 2 suggestion(s) to 2 file(s)

Co-authored-by: Vít Baisa <xbaisa@fi.muni.cz>

* fix minor issues

* fix pipeline

* fox pipeline

* add old installation path to redirects

* fix old tech part overview

* add installation guide from new source

* add new submodule for deployment

Roman Dvořák authored 5 months ago and Martin Horák committed 5 months ago

* minor formating changes

* fix button name

* add button for intro def download

* add submodule

* Upravená HP, přejmenovaná fáze Define a další drobnosti

* repossition main logo

* make borders and boxes responsive

* change main logo location, change sizes of texts, and changes in grid cards

* reformat main page

* fix button name

* add button for intro def download

* add submodule

* Upravená HP, přejmenovaná fáze Define a další drobnosti

* repossition main logo

* make borders and boxes responsive

* change main logo location, change sizes of texts, and changes in grid cards

* reformat main page

* remove line breaks to be consistent with other parts

* update authentication scheme

* remove extra lines

* add api as an option for creating users

* cr fix

* add note about lockfiles

* fix links in CHANGELOG

* update path in tech_overview

* fix typo

* add upgrade example, fix link, fix typo

* add upgrade tutorial and changelog.md

* format changes

* update docs for user management

Roman Dvořák authored 8 months ago and Pavel Čeleda committed 8 months ago

* add bibtex entries

* minor changes to readme.md

* update README.md

* add redirect from old link

* update known issues and report issue

* fix index page having incorrect links

* replace bug-s with issue-s

* fix formating

* rename report bugs page to report bug

* add known bugs page to other pages and minor fix

* add known bugs page

* add redirect from old link

* update known issues and report issue

* fix index page having incorrect links

* replace bug-s with issue-s

* fix formating

* rename report bugs page to report bug

* add known bugs page to other pages and minor fix

* add known bugs page