PR #2431 Upgrade to Respec 25.0.2

Upgrade to Respec 25.0.2 #2431

aboba merged 3 commits into master from respec-25.0.2

dontcallmedom added Editorial

dontcallmedom force pushed from 17122151 to 2c2ce753 6 years ago

Move custom copyright to HTML

9cd470e9

Fix invokation of ui.addCommand

cd75562b

Upgrade to respec 25.0.2

90a58fab

dontcallmedom force pushed from 2c2ce753 to 90a58fab 6 years ago

aboba merged 737405a6 into master 6 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

Editorial

Milestone

No milestone