commit 6651c4d77a1fdd8bd171f26db5c75fa4a71749c3 parent 16742e787e4071c1108eb328a5256c2b8d8850c4 Author: Marcello Stanisci <marcello.stanisci@inria.fr> Date: Mon, 27 Mar 2017 11:14:29 +0200 gitignore Diffstat:
| M | .gitignore | | | 1 | + |
1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/.gitignore b/.gitignore @@ -1,3 +1,4 @@ php/doc/tutorial.* php/doc/arch.* !php/doc/tutorial.texi +php/config.php