fix windows ui

[factor.git] / basis / ui / gadgets / worlds / worlds-docs.factor

diff --git a/basis/ui/gadgets/worlds/worlds-docs.factor b/basis/ui/gadgets/worlds/worlds-docs.factor
old mode 100644 (file)
new mode 100755 (executable)
index ad9f3f8..9d4df18
--- a/basis/ui/gadgets/worlds/worlds-docs.factor
+++ b/basis/ui/gadgets/worlds/worlds-docs.factor
@@ -1,6 +1,6 @@
 USING: ui.gadgets ui.render ui.text ui.text.private
 ui.gestures ui.backend help.markup help.syntax
-models opengl sequences strings ui.pixel-formats ;
+models opengl sequences strings ;
 IN: ui.gadgets.worlds
 
 HELP: user-input