?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 2591a10) | patch
Ignore toolchain build files
commitbd1b755bfe6149ded5ce80afe5c242c6acc68789
authorVojtech Horky <vojtech.horky@gmail.com>
Wed, 6 Dec 2017 09:33:01 +0000 (6 10:33 +0100)
committerGitHub <noreply@github.com>
Wed, 6 Dec 2017 09:33:01 +0000 (6 10:33 +0100)
tree867fe8c189e7cfd1a6428f6838685b7e10cc109ctree | snapshot (tar.gz zip)
parent2591a10ee3228dd6b71d84ece62984136397d48ecommit | diff
Ignore toolchain build files
.gitignore diff | blob | blame | history
A portable microkernel-based multiserver operating system written from scratch.