From: Uwe Hermann <uwe@hermann-uwe.de>
Date: Sat, 27 Oct 2018 19:38:49 +0000 (+0200)
Subject: manual: Rename pulseview_manual.* to manual.*.
X-Git-Url: http://git.code-monkey.de/?p=pulseview.git;a=commitdiff_plain;h=2eab551b92747d525a7d342436ee297144bbe241;hp=2eab551b92747d525a7d342436ee297144bbe241

manual: Rename pulseview_manual.* to manual.*.
---