4 Commits

Author	SHA1	Message	Date
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