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.

Zsolt Parragi 6cbd7c879a Added new merging script and updated build scripts accordingly ... Recent commits in the PG17 code added additional API changes, making the "single src directory with ifdefs" approach inpractical. This commit adds a new python based script (documented with comments in the file) to help with version specific merges, where the copied heap files reside in srcXX directories, where XX is the version.		1 year ago
..
repl.sed	Added new merging script and updated build scripts accordingly	1 year ago
tool.py	Added new merging script and updated build scripts accordingly	1 year ago