removed options. · 05577957c6 - Gogs

Forráskód Böngészése

removed options.

Nicolas Cannasse 19 éve

szülő

f4d3d3ef8b

commit

05577957c6

1 módosított fájl, 0 hozzáadás és 2 törlés

Egyesített Nézet Diff Statisztika Mutatása

						
							+ 0
							
							- 2
						
plugin.ml
							 
								Fájl Megtekintése
							
															@@ -19,8 +19,6 @@
														
															 let verbose = ref false
														
															 let verbose = ref false
														
															-let options = ref ([] : (string * Arg.spec * string) list)
														
															-
														
															 let class_path = ref ([] : string list)
														
															 let class_path = ref ([] : string list)
														
															 let find_file f =
														
															 let find_file f =