Pixelsize.html in gravaty-9.0.1

- old
+ new

@@ -2,10 +2,10 @@
 
 <html>
 <head>
 <meta charset="UTF-8">
 
-<title>class Gravaty::Parsers::Pixelsize - gravaty 9.0.0</title>
+<title>class Gravaty::Parsers::Pixelsize - gravaty 9.0.1</title>
 
 <script type="text/javascript">
   var rdoc_rel_prefix = "../../";
   var index_rel_prefix = "../../";
 </script>