use version 2.10 to make difference from release · 70aed8d1c0 - Gogs

Răsfoiți Sursa

use version 2.10 to make difference from release

Nicolas Cannasse 13 ani în urmă

părinte

b834e818d8

comite

70aed8d1c0

1 a modificat fișierele cu 1 adăugiri și 1 ștergeri

Vizualizare divizată Arată Statisticile Diff

						
							+ 1
							
							- 1
						
main.ml
							 
								Vizualizați fișierul
							
				@@ -39,7 +39,7 @@ type cache = {
			
				 exception Abort
			
				 exception Completion of string
			
				-let version = 209
			
				+let version = 210
			
				 let measure_times = ref false
			
				 let prompt = ref false