5 Commits (dad381e66eef1fc17a7ee81d30266eddfa8e6972)

Author	SHA1	Message	Date
Manuel Bua	32db612f62	Merge branch 'master' into enumeration-progressbar	2020-07-07 22:51:40 +02:00
bauthard	257d9685af	Fixed error with auto-updates	2020-07-06 12:30:02 +05:30
Manuel Bua	0b87f339b9	Update .gitignore	2020-07-05 23:39:29 +02:00
Ice3man543	481a7c0f54	Fixed a bug with string formatting	2020-04-08 20:01:03 +05:30
Ice3man543	b1cd18b99d	Misc + cmd + final	2020-04-04 17:24:31 +05:30