Michael G 9d54f71dbb 📚 Align comments to 80 characters ... I did not find any style recommendation that states an exact line length. Assuming a common value of 80, this leads to less lines being split.		2021-05-30 19:04:18 +02:00
..
devenv	⚡ Performance improvements	2021-05-13 17:06:45 +02:00
gitpod	⬆️ Update gitpod dockerfile.	2021-04-06 09:15:06 +02:00
images	📚 Align comments to 80 characters	2021-05-30 19:04:18 +02:00