6 Commits

Author	SHA1	Message	Date
Rüdiger Diedrich	ae1dc3a216	bookmarks!	2022-08-22 11:33:27 +02:00
Rüdiger Diedrich	4bd3634abb	grover isnt mounted with thread id anymore	2022-08-22 11:33:27 +02:00
Rüdiger Diedrich	7d10c57f74	notebook addendum	2022-08-11 14:13:48 +02:00
Rüdiger Diedrich	e7da164b3f	bookmark parsing lets go	2022-08-02 15:51:58 +02:00
Rüdiger Diedrich	de9afd2907	grover	2022-07-21 18:42:42 +02:00
Rüdiger Diedrich	8dbc390a68	config stuff and livebooks	2022-07-18 15:15:56 +02:00