tree c05b4415e4abbe83d39b18decd04a84e31b6232e
parent 25301d7a9cd661122d3be0723a246be6bdcd74c4
author Chris Poucet <poucet@google.com> 1678210605 +0100
committer Chris Poucet <poucet@google.com> 1678263366 +0100

Make sure to define the custom-element for codemirror-element

Change-Id: I701ba85dd328acdb30c66ed1b54625ee778ca14d