gnu.org/source-highlight

[and-ri]

#529

[what-the-diff]

PR Summary

• New File Addition
  A new file has been added to the repository.
• Package Distribution
  The package can now be distributed from the GNU FTP server.
• Multiple Versions Available
  Three versions of source-highlight are available for download: 3.1, 9, and 10 (latest).
• Binary Additions
  Four new binaries have been provided in the bin/ directory: check-regexp, source-highlight, and source-highlight settings.

[jhheider]

thanks @ArionThinker !