Merge commit 'c2e1ed4db97fa5aeb379140376935c035cf56d12' as 'src/wvtest'

[frescor/frsh-forb.git] / src / wvtest / wvtestrun

diff --git a/wvtestrun b/src/wvtest/wvtestrun
similarity index 100%
rename from wvtestrun
rename to src/wvtest/wvtestrun