fix path
authorChristian Grothoff <christian@grothoff.org>
Sat, 5 Oct 2019 12:44:36 +0000 (14:44 +0200)
committerChristian Grothoff <christian@grothoff.org>
Sat, 5 Oct 2019 12:44:36 +0000 (14:44 +0200)
commit6ecb8bb63d92da4f603cb2b73695240cfb8cea46
treeabce9b26bcd4b8a9d9f14a671a2f59af94032d0e
parenta16f6b613a10ed23099344611ff26844641fbee6
fix path
bootstrap