changeset 2840:c6f5ac45ec68

Merge branch merge-requests/637 for completeness * github/merge-requests/637: Remove unused function vf_index_is_selected
author Klaus Ethgen <Klaus@Ethgen.de>
date Sat, 06 Oct 2018 10:28:02 +0100
parents ac5d820c9a9e (current diff) ff9bd38a7a44 (diff)
children 2e385b95cb0d
files
diffstat 0 files changed, 0 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff