?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 07a7080) | patch
Convert grub-update.sh script to using git
commitcc40af4754ddfc4e4f6463a2e4b62779f9d9cee5
authorJakub Jermar <jakub@jermar.eu>
Mon, 27 Nov 2017 21:03:02 +0000 (27 22:03 +0100)
committerJakub Jermar <jakub@jermar.eu>
Mon, 27 Nov 2017 21:03:02 +0000 (27 22:03 +0100)
tree541179d12ea069f524223afe9dd93ecbc0b36225tree | snapshot (tar.gz zip)
parent07a70800d18542520e7b84a6562d85c6450054d1commit | diff
Convert grub-update.sh script to using git
tools/grub/grub-update.sh diff | blob | blame | history
A portable microkernel-based multiserver operating system written from scratch.