diff --git a/devtools/public/index.html b/devtools/public/index.html index 594dcaf..4071f90 100644 --- a/devtools/public/index.html +++ b/devtools/public/index.html @@ -4174,20 +4174,20 @@ function showRoutingForm(purpose) { '' + '
' + '
' + - ' '' + '' + -' '' + -' '' + -' '' + -' '' + -' '' + -' '' + -' '' + -' '' + -' '' + -' '' + -' '' + -' '' + + '' + + '' + + '' + + '' + + '' + + '' + + '' + + '' + + '' + + '' + + '' + + '' + '
' + '
' + (models.length > 0 ? '
' +