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