core, basis, extra: Remove DOS line endings from files.

[factor.git] / extra / robots / robots.factor

diff --git a/extra/robots/robots.factor b/extra/robots/robots.factor
index 7562c65d3c4879bdddcba6739b1af1ca9c077c35..a9ef7448a0239c55c2f5a49267156e1b4c606563 100644 (file)
--- a/extra/robots/robots.factor
+++ b/extra/robots/robots.factor
@@ -42,7 +42,7 @@ visit-time request-rate crawl-delay unknowns ;
         {
             [ [ first "user-agent" = ] both? ]
             [ nip first "user-agent" = not ]
-        } 2|| 
+        } 2||
     ] monotonic-split ;
 
 : <rules> ( -- rules )