mirror of
https://github.com/MariaDB/server.git
synced 2025-01-19 13:32:33 +01:00
8 lines
215 B
Bash
Executable file
8 lines
215 B
Bash
Executable file
#!/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
|