daml/docs/theme/js
Gary Verhaegen d2e2c21684
update copyright headers (#12240)
New year, new copyright, new expected unknown issues with various files
that won't be covered by the script and/or will be but shouldn't change.

I'll do the details on Jan 1, but would appreciate this being
preapproved so I can actually get it merged by then.

CHANGELOG_BEGIN
CHANGELOG_END
2022-01-03 16:36:51 +00:00
..
analytics.js update copyright headers (#12240) 2022-01-03 16:36:51 +00:00
feedback.js update copyright headers (#12240) 2022-01-03 16:36:51 +00:00
nice-select.min.js update copyright headers (#12240) 2022-01-03 16:36:51 +00:00
scroll.js update copyright headers (#12240) 2022-01-03 16:36:51 +00:00
searchSettings.js update copyright headers (#12240) 2022-01-03 16:36:51 +00:00
switcher.js update copyright headers (#12240) 2022-01-03 16:36:51 +00:00
theme.js update copyright headers (#12240) 2022-01-03 16:36:51 +00:00