diff options
| author | Joel Martin <github@martintribe.org> | 2014-04-27 18:28:56 -0500 |
|---|---|---|
| committer | Joel Martin <github@martintribe.org> | 2014-04-27 18:28:56 -0500 |
| commit | 72599899e3d3ae1face46a81f01979b040d19c61 (patch) | |
| tree | 95e163ffacaa7061a1ac90ccd8a1418656ebc5e3 /php/readline.php | |
| parent | d574187895c8519bffd5a0f8b4c1817e00103d91 (diff) | |
| parent | cc021efe10380039a13da5300990639203450634 (diff) | |
| download | mal-72599899e3d3ae1face46a81f01979b040d19c61.tar.gz mal-72599899e3d3ae1face46a81f01979b040d19c61.zip | |
Merge branch 'master' into gh-pages
Diffstat (limited to 'php/readline.php')
| -rw-r--r-- | php/readline.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/php/readline.php b/php/readline.php index d4b3ad7..5e33501 100644 --- a/php/readline.php +++ b/php/readline.php @@ -31,4 +31,4 @@ function mal_readline($prompt) { return $line; } -?> +?> |