projects / barrelfish / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6d5ab0f) | patch
platforms: take care of copying the new menu.lst
authorReto Achermann <reto.achermann@inf.ethz.ch>
Sat, 25 Feb 2017 09:27:12 +0000 (10:27 +0100)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Thu, 16 Mar 2017 07:14:52 +0000 (08:14 +0100)
commitc09f2f1004b271da46882176d5cc8a137351869f
tree04b172834f65469aa7624ef0ef83a99627ed80d2tree | snapshot
parent6d5ab0f5d153e7a9d7a5c3f7a2ccadbf21279eebcommit | diff
platforms: take care of copying the new menu.lst

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
platforms/Hakefile diff | blob | history
Barrelfish OS git repo