fix filenames, issue #214 (#216) · 2071e4fad4 - GitBross

Parcourir la source

fix filenames, issue #214 (#216)

Tao Zhu il y a 10 mois

Parent

4ea7b71cae

commit

2071e4fad4

2 fichiers modifiés avec 0 ajouts et 0 suppressions

Vue unifiée Afficher les stats Diff

						
							+ 0
							
							- 0
						
proposals/simd-0170-builtin-instruction-cost-and-budget.md → proposals/0170-builtin-instruction-cost-and-budget.md
							 
								Voir le fichier

						
							+ 0
							
							- 0
						
proposals/simd-0182-conditional-cu-metering.md → proposals/0182-conditional-cu-metering.md
							 
								Voir le fichier