6 commits

Author	SHA1	Message	Date
Tom Hubrecht	df45e2bd10	chore(patches): Update	2023-10-07 15:48:27 +02:00
Tom Hubrecht	5fcb84f6e3	fix(patches): Switch PR for outline bump	2023-10-06 11:08:27 +02:00
Tom Hubrecht	3785088616	feat(outline): Upgrade to v0.72.0	2023-10-05 23:27:04 +02:00
Tom Hubrecht	64d186238c	fix(patches): Update hash ?????	2023-09-25 00:41:02 +02:00
Tom Hubrecht	4c5a9685db	feat(compute01): Deploy outline on docs.dgnum.eu	2023-09-24 15:47:29 +02:00
Tom Hubrecht	eb329666ce	feat(nix-patches): Switch to upstream version	2023-09-24 13:03:23 +02:00