From f1a48c521472bde1c8668e29f8c5c792e1dd9f9f Mon Sep 17 00:00:00 2001 From: winter Date: Sat, 18 Jan 2025 22:41:17 +0000 Subject: init script & fix the version info thing yeah so turns out $Id$ is not what it seems --- misc/.gitattributes | 1 - misc/get_version.php | 14 +++----------- 2 files changed, 3 insertions(+), 12 deletions(-) delete mode 100644 misc/.gitattributes (limited to 'misc') diff --git a/misc/.gitattributes b/misc/.gitattributes deleted file mode 100644 index e383d5c..0000000 --- a/misc/.gitattributes +++ /dev/null @@ -1 +0,0 @@ -get_version.php ident export-subst \ No newline at end of file diff --git a/misc/get_version.php b/misc/get_version.php index 8d48b4a..e9c255a 100644 --- a/misc/get_version.php +++ b/misc/get_version.php @@ -1,21 +1,13 @@