?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(merge: 09d01f2 23d4515)
Merge pull request #7 from Dzejrou/readme_branch
commit2024096e4a141b88a2fc669aded3cfc035b32115
authorJakub Jermář <jakub@jermar.eu>
Mon, 18 Dec 2017 19:14:41 +0000 (18 20:14 +0100)
committerGitHub <noreply@github.com>
Mon, 18 Dec 2017 19:14:41 +0000 (18 20:14 +0100)
treebfb4d8b9015e42f25fe56c10c35852d03dbddd93tree | snapshot (tar.gz zip)
parent09d01f28221887ceaceba6c7bcc2102381ec548fcommit | diff
parent23d45152e0fb1fe800c3d2feff9821e9e25265dacommit | diff
Merge pull request #7 from Dzejrou/readme_branch

Add README.md file to be shown on the GitHub repository frontpage
A portable microkernel-based multiserver operating system written from scratch.