updated devel

2020-06-23 12:18:53 +02:00
parent 835220fa8b
commit 5b116d4733
116 changed files with 6248 additions and 5663 deletions
@@ -1,3 +1,8 @@
+/**
+ * @file
+ * Styles for elements created by Devel.
+ */
+
 .dev-query, .dev-timer, .dev-memory-usage {
  padding: 1em;
 }