Closed RichardHladik closed 6 years ago
Use human-friendlier algorithm names instead of source file names in headings.
Use human-friendlier algorithm names instead of source file names in headings.