diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2018-10-01 14:22:36 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-01 14:22:36 +0200 |
| commit | aab6b31c8b34a6dbde7bad5d167c850673e1feae (patch) | |
| tree | 4049e12f64bbb89ff0e3a7bf181aa85625965a78 /lib/genode_cpp | |
| parent | 5298c509a7b0168f0edce9b28442feca914d15f7 (diff) | |
| parent | 2e5c759736a9458b192a3beb2cf3a38b2f198887 (diff) | |
| download | Nim-aab6b31c8b34a6dbde7bad5d167c850673e1feae.tar.gz | |
Merge pull request #9110 from kaushalmodi/dochackjs-kochdoc-update
Make "koch docs" copy the dochack.js to the right location too
Diffstat (limited to 'lib/genode_cpp')
0 files changed, 0 insertions, 0 deletions