Add a variable index to the manual · b4353a3d5c - Flintfam Git Service

Parcourir la source

Add a variable index to the manual

Carsten Dominik il y a 16 ans

Parent

2ba674092e

commit

b4353a3d5c

2 fichiers modifiés avec 154 ajouts et 11 suppressions

Vue séparée Afficher les stats Diff

						
							+ 1
							
							- 0
						
.gitignore
							 
								Voir le fichier
							
				@@ -21,6 +21,7 @@
			
				 *.toc
			
				 *.tp
			
				 *.vr
			
				+*.vrs
			
				 *.dvi
			
				 *.ps
			
				 orgcard_letter.tex

				
					Fichier diff supprimé car celui-ci est trop grand
					
						+ 153
						
						- 11
					
doc/org.texi

			
				Certains fichiers n'ont pas été affichés car il y a eu trop de fichiers modifiés dans ce diff