diff options
| author | winter | 2025-01-18 22:41:17 +0000 |
|---|---|---|
| committer | winter | 2025-01-18 22:49:41 +0000 |
| commit | f1a48c521472bde1c8668e29f8c5c792e1dd9f9f (patch) | |
| tree | 21b89bf89204371de7a94042d8ed3d02c29d8516 /misc/.gitattributes | |
| parent | 5d55ae009cab1fe82f456111585d20795f4e865a (diff) | |
init script & fix the version info thing
yeah so turns out $Id$ is not what it seems
Diffstat (limited to 'misc/.gitattributes')
| -rw-r--r-- | misc/.gitattributes | 1 |
1 files changed, 0 insertions, 1 deletions
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 |