Christopher Allen 311b2c16d8 Rename BUILD_DIR to "build" (was "built") ...

Per discussion in PR #4968, the dirname "build" is widely used for
this purpose.

2021-07-08 16:55:15 +01:00

..

gulpfiles

Rename BUILD_DIR to "build" (was "built")

2021-07-08 16:55:15 +01:00

i18n

Move i18n scripts under scripts/ (#4044)

2020-07-14 12:07:56 -07:00

package

Add missing extern

2021-05-27 21:30:26 -07:00

themes

Move theme scripts to scripts dir (#4041)

2020-07-14 11:44:25 -07:00