github didn't accept the last push. Touching the files to force a git revision

2016-07-27 22:40:33 -07:00
parent ec383aca03
commit 0b2d809309
3 changed files with 1 additions and 2 deletions
--- a/util/po2php.php
+++ b/util/po2php.php
@@ -1,6 +1,5 @@
 <?php

-
 function po2php_run($argc,$argv) {

 	if ($argc < 2) {