diff options
Diffstat (limited to 'source/projects')
| -rw-r--r-- | source/projects/enum.rst | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/source/projects/enum.rst b/source/projects/enum.rst index 45edeb2..34f11aa 100644 --- a/source/projects/enum.rst +++ b/source/projects/enum.rst @@ -14,10 +14,10 @@ GNU Compiler Collection * AdaCore git hooks. - * Older (Python 2) version of those hooks, commit - :spelling:ignore:`1f9082567e82788e4da748fe13ddd0b230166faf`. Should move to - current Python 3 version, but will require careful review of - hook configuration to update for any incompatible changes + * Older (Python 2) version of those hooks, + commit `1f9082567e82788e4da748fe13ddd0b230166faf`. + Should move to current Python 3 version, but will require careful + review of hook configuration to update for any incompatible changes since the version currently used. * See refs/meta/config:project.config for hook configuration. @@ -453,7 +453,7 @@ GNU Binary Utilities * URLs to a given commit in the Web UI should be easily computable using their SHA1; e.g. - "https://sourceware.org/git/gitweb.cgi?p=binutils-gdb.git;h=%(rev)s" + "https://sourceware.org/git/gitweb.cgi?p=binutils-gdb.git;h=%(rev)s" We use those in the commit emails being sent by the git-hooks. * Mailing lists |