Leo/oclaunch

 + Some string in licencing.ml were not correctly escaped.

Leo 8 years ago

parent

96826fbb99

commit

eec8925637

1 changed files with 344 additions and 344 deletions

				
					File diff suppressed because it is too large
					
							+ 344
							
							- 344
						
src/licencing.ml