"doc/faq.html" did not exist on "110927bbc5ec13c1fdb0ea7c0493d5f46e3ae8a3"
-
Benno Schulenberg authored
This restores things to the way they were before commit 36ec76a5. Apparently all those refreshes are needed in some cases after all.
30f3c533