PR #2355 Force use of dharma theme

Force use of dharma theme #2355

bwindels merged 1 commit into experimental from travis/dharma-theme

Force use of dharma theme

c706135c

bwindels approved these changes on 2018-12-17

bwindels merged ffec533c into experimental 7 years ago

turt2live deleted the travis/dharma-theme branch 7 years ago

Reviewers

bwindels

Assignees

No one assigned

Labels

None yet

Milestone

No milestone