Make checking for duplicated names case insensitive. · 3866122e7f - Samien Works Git

Sfoglia il codice sorgente

Make checking for duplicated names case insensitive.

This avoids generating filenames with names that only differ by case as they
cause problems on case insensitive file systems.


[SVN r50798]

Daniel James 17 anni fa

parent

442cfb034f

commit

3866122e7f

1 ha cambiato i file con 1 aggiunte e 1 eliminazioni

Visualizzazione separata Mostra Diff Stats

						
							+ 1
							
							- 1
						
tools/boostbook
							 
								Vedi File
							
				@@ -1 +1 @@
			
				-Subproject commit 5db61ec62aedacaf672873c1f8248809c58318a3
			
				+Subproject commit e0f2099dc26eaaf7f4d0606bb7fb599915afa40b

粤ICP备19079148号