From 9c014e4a8de3a34c3e24677da0654565ce50005e Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Wed, 7 Feb 2018 08:03:31 +0100 Subject: [PATCH] import from review #1541334 --- .gitignore | 1 + sources | 1 + 2 files changed, 2 insertions(+) create mode 100644 .gitignore create mode 100644 sources diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..8aef692 --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +/php-phpunit-php-timer2-2.0.0-8b8454e.tar.gz diff --git a/sources b/sources new file mode 100644 index 0000000..04d5954 --- /dev/null +++ b/sources @@ -0,0 +1 @@ +SHA512 (php-phpunit-php-timer2-2.0.0-8b8454e.tar.gz) = 54a1ea015b8cd8850fcf9bafd66ffee9b8cc78ef9402ee3fb68d85f0647fb889d6ba648bc20b5c23b7148c1693ca16669f4f1fdfa760705c09351bba7750df6b