Erik Johnston 23740eaa3d Correctly mention previous copyright (#16820) ... During the migration the automated script to update the copyright headers accidentally got rid of some of the existing copyright lines. Reinstate them.		2024-01-23 11:26:48 +00:00
..
evaluator.rs	Correctly mention previous copyright (#16820)	2024-01-23 11:26:48 +00:00
glob.rs	Correctly mention previous copyright (#16820)	2024-01-23 11:26:48 +00:00