7 Commits

Author	SHA1	Message	Date
Matthias Kretschmann	143fcbecf3	tweak printWidth	2019-11-22 12:14:17 +01:00
Pedro Gutiérrez	3d7d1f3972	Change linter config.	2019-11-22 12:07:14 +01:00
Matthias Kretschmann	354149d2d4	test tweaks	2019-10-31 12:19:53 +01:00
Pedro Gutiérrez	a80b4aee18	Fix linter issues manually.	2019-06-24 13:06:46 +02:00
Matthias Kretschmann	b61822e30c	format all the things	2019-06-24 13:06:46 +02:00
Pedro Gutiérrez	05ca0da57f	Fix linter errors.	2019-03-25 15:21:23 +01:00
Pedro Gutiérrez	7a13ad8daa	Be able to create different Ocean instances with different config.	2019-03-25 15:21:23 +01:00