[Tools] Changed the number printing format for sorting
As part of this patch, I added the ability to add leading zeros. This is necessary so that the generated files are sorted in ascending order. Reviewed By: yrouban Differential Revision: https://reviews.llvm.org/D145484
parent
4dd5e9c6
Please register or sign in to comment