julia
RFC: Fix #12973, ui sources not rebuilding when src headers change
#15520

Merged

RFC: Fix #12973, ui sources not rebuilding when src headers change #15520

tkelman merged 1 commit into master from tk/headers

Fix #12973, ui sources not rebuilding when src headers change

611aa277

tkelman added building

tkelman merged add0abe7 into master 9 years ago

tkelman deleted the tk/headers branch 9 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

building

Milestone

No milestone