Merge branch 'master' of https://github.com/ReCodEx/GlobalWiki.wiki

8 years ago · 0eaa348d66
parent e7ab42fe89 3a5b95cf0a
commit 0eaa348d66
1 changed files with 6 additions and 0 deletions
--- a/Database.md
+++ b/Database.md
@ -80,3 +80,9 @@ Assignment table represents exercise assignment in a group. It holds keys of the
 ## UserSettings
 User settings belong to some particular user and contains settings mostly for web application.
 - _darkTheme_ -- dark mode will be used in text editor in web application
 - _vimMode_ -- turn vim mode on in text editor used by web application
 - _defaultLanguage_ -- default language which will be used in web application