Index: client/html/generated/html/frog/DirectoryElement.dart |
diff --git a/client/html/generated/html/frog/DirectoryElement.dart b/client/html/generated/html/frog/DirectoryElement.dart |
new file mode 100644 |
index 0000000000000000000000000000000000000000..e384ad13b6fe707f752788618cc838dcb9dcfbe5 |
--- /dev/null |
+++ b/client/html/generated/html/frog/DirectoryElement.dart |
@@ -0,0 +1,5 @@ |
+ |
+class _DirectoryElementJs extends _ElementJs implements DirectoryElement native "*HTMLDirectoryElement" { |
+ |
+ bool compact; |
+} |