From 842d7e78def731be3963813b2b5d6d3e6e237b86 Mon Sep 17 00:00:00 2001
From: RGBCube <78925721+RGBCube@users.noreply.github.com>
Date: Mon, 9 Jan 2023 19:33:17 +0300
Subject: [PATCH] Rename paintbrush.v to brush.v

---
 src/{paintbrush.v => brush.v} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename src/{paintbrush.v => brush.v} (100%)

diff --git a/src/paintbrush.v b/src/brush.v
similarity index 100%
rename from src/paintbrush.v
rename to src/brush.v