|
From: | Dmitry Gutov |
Subject: | branch scratch/font_lock_large_files created (now fe0e53d963) |
Date: | Fri, 12 Aug 2022 06:46:23 -0400 (EDT) |
dgutov pushed a change to branch scratch/font_lock_large_files. at fe0e53d963 New option: font-lock-large-files This branch includes the following new commits: new fe0e53d963 New option: font-lock-large-files
[Prev in Thread] | Current Thread | [Next in Thread] |