History for support / mongo
2022-11-01
Initial separate version.
Michal Prihoda committed on 1 Nov 2022
2022-10-24
Parameters endpoints update ...
Michal Příhoda committed on 24 Oct 2022
2022-10-21
Mongo parameters repository implemented.
Michal Prihoda committed on 21 Oct 2022
2022-07-31
Back to SBT - build working.
Michal Prihoda committed on 31 Jul 2022
2022-05-19
Download whole file, not just first chunk. ...
Michal Prihoda committed on 19 May 2022
2022-05-12
Encode filenames. ...
Michal Prihoda committed on 12 May 2022
Report errors only when some happen.
Michal Prihoda committed on 12 May 2022
2022-05-10
Remove the mock user again. ...
Michal Prihoda committed on 10 May 2022
2022-04-24
Serialization done.
Michal Prihoda committed on 24 Apr 2022
2022-03-25
File upload done, parameters update.
Michal Prihoda committed on 25 Mar 2022
Mongo file repository.
Michal Prihoda committed on 25 Mar 2022
Moved mongo json repository to top-level src
Michal Prihoda committed on 25 Mar 2022
2022-03-22
Kriteria update
Michal Prihoda committed on 22 Mar 2022
2022-03-21
Proof repo type fix.
Michal Prihoda committed on 21 Mar 2022
2022-03-12
initial commit
Michal Prihoda committed on 12 Mar 2022