Remove capital letters from filenames #3 · 0d21ae85fc - DarkFi

Remove capital letters from filenames #3

tevador 7 년 전

부모

f9ea7cc1df

커밋

0d21ae85fc

3개의 변경된 파일과 0개의 추가작업 그리고 0개의 파일을 삭제

분할 보기 변경상태 보기

						
							+ 0
							
							- 0
						
src/instruction2.cpp → src/instruction.cpp
							 
								파일 보기

						
							+ 0
							
							- 0
						
src/instruction2.hpp → src/instruction.hpp
							 
								파일 보기

						
							+ 0
							
							- 0
						
src/program2.hpp → src/program.hpp
							 
								파일 보기