version.php - gerrit/www.eclipse.org/jgit - Git at Google

 <?php
 	$version = "5.4.0.201906121030-r";
 	$api_version="5.4.0.201906121030-r"; // For API docs and CLIRR reports
 ?>
	<?php
	$version = "5.4.0.201906121030-r";
	$api_version="5.4.0.201906121030-r"; // For API docs and CLIRR reports
	?>