set-version.php - Update civicrm-version.php (if applicable)
authorTim Otten <totten@civicrm.org>
Tue, 27 Feb 2018 22:59:34 +0000 (14:59 -0800)
committerTim Otten <totten@civicrm.org>
Tue, 27 Feb 2018 23:01:12 +0000 (15:01 -0800)
commit4d4f529c7b67266803614a534bc554cb4797296f
tree208504393182858e25b49b419b3d827d6d42e5ea
parent337dc87a118c9d2b2e35d78791ec5ced5399e005
set-version.php - Update civicrm-version.php (if applicable)

Currently, this file is produced by GenCode, so it's not critical to update it via `set-version.php`. However, it's
a bit easier to test the process if this file is kept up-to-date.

In the near future, this file may be reworked to read from the canonical
source.  However, the search/replace should still be safe then.
tools/bin/scripts/set-version.php