Peter Kokot e0c88039b6 Move some scripts from root directory to scripts/dev/ ...

At the time of this commit, there is a dedicated folder for development
related tools and such scripts might fit better there to not bloat the
project root directory too much.

Move snapshot to scripts/dev/snapshot

2019-02-16 16:58:48 +01:00

..

bless_tests.php

Add bless_tests.php

2019-02-11 15:35:34 +01:00

check_parameters.php

Remove yearly range from copyright notice

2019-01-30 11:03:12 +02:00

credits

Avoid mention of php7 in credits script

2019-01-28 11:26:45 +01:00

find_tested.php

Sync leading and final newlines in source code files

2018-10-14 12:56:38 +02:00

gen_verify_stub

Sync leading and final newlines in source code files

2018-10-14 12:56:38 +02:00

phpextdist

Remove some obsolete config_vars.mk occurrences

2018-10-16 18:05:06 +02:00

search_underscores.php

Remove yearly range from copyright notice

2019-01-30 11:03:12 +02:00

snapshot

Move some scripts from root directory to scripts/dev/

2019-02-16 16:58:48 +01:00

vcsclean

Move some scripts from root directory to scripts/dev/

2019-02-16 16:58:48 +01:00