jn c9457baa42 Let users provide their own startup.cfg without pain ... Users can now edit base_image/startup.cfg without git paying attention to it. Typing `make` and using the default works, too.		2023-02-01 23:41:30 +01:00
..
startup.cfg.default	Let users provide their own startup.cfg without pain	2023-02-01 23:41:30 +01:00