mirror of
https://github.com/MariaDB/server.git
synced 2025-01-20 05:52:27 +01:00
Remove SVN-specific file.
This commit is contained in:
parent
5834566ce5
commit
be8b4ab3c3
1 changed files with 0 additions and 8 deletions
|
@ -1,8 +0,0 @@
|
||||||
#!/bin/bash
|
|
||||||
#
|
|
||||||
# revert changes to all generated files. this is useful in some situations
|
|
||||||
# when merging changes between branches.
|
|
||||||
|
|
||||||
set -eu
|
|
||||||
|
|
||||||
svn revert include/pars0grm.h pars/pars0grm.h pars/lexyy.c pars/pars0grm.c
|
|
Loading…
Reference in a new issue