]> git.plutz.net Git - bootimage/log
bootimage
6 years agoignore generated structures
Paul Hänsch [Wed, 20 Jun 2018 19:47:14 +0000 (21:47 +0200)]
ignore generated structures

6 years agoboot configuration
Paul Hänsch [Wed, 20 Jun 2018 19:46:46 +0000 (21:46 +0200)]
boot configuration

6 years agobase configuration tree
Paul Hänsch [Wed, 20 Jun 2018 19:30:12 +0000 (21:30 +0200)]
base configuration tree