Mirrors
/
mariadb
mirror of https://github.com/MariaDB/server
3
0
Fork 0
Code Releases Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
348 Commits
3261 Branches
1096 Tags
1.2 GiB
 
 
 
 
 
 
Tree: a658b00597
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'a658b00597'
${ noResults }
mariadb/revert_gen.sh

8 lines
215 B
Raw Blame History

#!/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