docs: Fix Hakefile comment
authorDaniel Schwyn <daniel.schwyn@inf.ethz.ch>
Fri, 8 Nov 2019 10:24:51 +0000 (11:24 +0100)
committerDaniel Schwyn <daniel.schwyn@inf.ethz.ch>
Wed, 18 Mar 2020 14:15:02 +0000 (15:15 +0100)
commit9ceed6f17d87c4688c8f6fd0ed4076de945f5e40
treeff79dd7a8288c588b213a39c5a35d1d5d4c6323a
parent4ffa634892bd0022be79851b8b90f049171391a3
docs: Fix Hakefile comment

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>
doc/Hakefile