Merge pull request #203889 from trofi/xterm-drop-comment-char

xterm: drop redundant '# #' comment
This commit is contained in:
Alexey Shmalko 2022-12-01 11:02:38 +02:00 committed by GitHub
commit f9ddb7a6ed
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -85,7 +85,7 @@ stdenv.mkDerivation rec {
# No nicer place to find latest release. # No nicer place to find latest release.
url = "https://github.com/ThomasDickey/xterm-snapshots.git"; url = "https://github.com/ThomasDickey/xterm-snapshots.git";
rev-prefix = "xterm-"; rev-prefix = "xterm-";
# # Tags that end in letters are unstable # Tags that end in letters are unstable
ignoredVersions = "[a-z]$"; ignoredVersions = "[a-z]$";
}; };
}; };