Maintenance will be performed on git.ligo.org, chat.ligo.org, containers.ligo.org, and docs.ligo.org on Tuesday 26 May 2020 starting at approximately 10am CDT. It is expected to take around 30 minutes and will involve a short period of downtime, around 5 minutes, towards the end of the maintenance period. Please address any questions, comments, or concerns to email@example.com.
|...||...||@@ -225,7 +225,7 @@ class VersionedFile(file):|
|TEXT_EXTENSIONS = ['.log']|
|TEXT_EXTENSIONS = ['.log', '.out']|
|filename = VersionedFile.basename(filename)|
|content_type, encoding = mimetypes.guess_type(filename)|
|if content_type is None and '.' in filename:|