tree fe95d7d1c23d9f66d238ae3115b206616341c580
parent 9fa93637dc163f90ee7fa6b22e867274ab65937c
author Radek Krejci <rkrejci@cesnet.cz> 1619427833 +0200
committer Michal Vasko <mvasko@cesnet.cz> 1619437998 +0200

types plugins BUGFIX duplicated function declaration

copy-paste error