Rename regions to region · bf19d3546d - Gogs

Parcourir la source

Rename regions to region

JoostSijm il y a 6 ans

Parent

c43aca572e

commit

bf19d3546d

2 fichiers modifiés avec 1 ajouts et 1 suppressions

Vue séparée Afficher les stats Diff

						
							+ 0
							
							- 0
						
docs/regions.tex → docs/region.tex
							 
								Voir le fichier

						
							+ 1
							
							- 1
						
master.tex
							 
								Voir le fichier
							
				@@ -16,7 +16,7 @@
			
				 \input{docs/intro}
			
				 \hrule
			
				-\input{docs/regions}
			
				+\input{docs/region}
			
				 \hrule
			
				 \input{docs/state}