drwxr-xr-x | .. | ||
-rw-r--r-- | 3114 | ARTICLE | blob | blame | history | raw |
-rw-r--r-- | 6421 | ARTICLE.2 | blob | blame | history | raw |
-rw-r--r-- | 12990 | CHANGES | blob | blame | history | raw |
-rw-r--r-- | 6438 | COPYING | blob | blame | history | raw |
-rw-r--r-- | 1202 | GENERAL | blob | blame | history | raw |
-rw-r--r-- | 6024 | HEURISTICS | blob | blame | history | raw |
-rw-r--r-- | 5208 | MAN-PAGE | blob | blame | history | raw |