projects / barrelfish / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bcb5da7) | patch
Fix platform file.
authorGerd Zellweger <mail@gerdzellweger.com>
Tue, 11 Jul 2017 09:52:35 +0000 (11:52 +0200)
committerGerd Zellweger <mail@gerdzellweger.com>
Tue, 11 Jul 2017 09:52:35 +0000 (11:52 +0200)
commitbedc885345f406f1de041455045b84bcf9e7289c
tree1127a85f1deddd36acf7dd2decdea0e4c186ef52tree | snapshot
parentbcb5da7099784225ae086669697e80233b460e53commit | diff
Fix platform file.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>
platforms/Hakefile diff | blob | history
Barrelfish OS git repo