lavu: Drop deprecated option type
authorVittorio Giovara <vittorio.giovara@gmail.com>
Mon, 5 Dec 2016 22:22:49 +0000 (17:22 -0500)
committerVittorio Giovara <vittorio.giovara@gmail.com>
Thu, 23 Mar 2017 09:09:17 +0000 (10:09 +0100)
Deprecated in 02/2014.


No differences found