From 40d73269371a9e2b142eb2be2bd2f70aff6346d2 Mon Sep 17 00:00:00 2001 From: Sine Striker <trueful@163.com> Date: 周日, 25 2月 2024 04:13:02 +0800 Subject: [PATCH] Better workaround for win10 top border issue --- .gitignore | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/.gitignore b/.gitignore index 04490f0..6f277c6 100644 --- a/.gitignore +++ b/.gitignore @@ -76,7 +76,7 @@ .DS_Store */.DS_Store -build-src* +build-* build/ cmake-build* *.user -- Gitblit v1.9.1