pagevideos: Prevent renaming video if file name prefix is already used
This prevents some issues and weirdnesses with losing the video thumbnail, etc.
[package]
name = "hwphysics"
version = "0.1.0"
authors = ["Hedgewars Project"]
edition = "2018"
[dependencies]
fpnum = { path = "../fpnum" }
integral-geometry = { path = "../integral-geometry" }
land2d = { path = "../land2d" }