manual: Rename pulseview_manual.* to manual.*.
authorUwe Hermann <uwe@hermann-uwe.de>
Sat, 27 Oct 2018 19:38:49 +0000 (21:38 +0200)
committerUwe Hermann <uwe@hermann-uwe.de>
Sat, 27 Oct 2018 19:38:49 +0000 (21:38 +0200)

No differences found