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/?a=commitdiff_plain;ds=sidebyside;h=2eab551b92747d525a7d342436ee297144bbe241;hp=2eab551b92747d525a7d342436ee297144bbe241;p=pulseview.git

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