Moving the the phpt generation script to scripts/dev directory at Jani's suggestion.

author Zoe Slattery <zoe@php.net>

Sun, 3 Feb 2008 09:34:59 +0000 (09:34 +0000)

committer Zoe Slattery <zoe@php.net>

Sun, 3 Feb 2008 09:34:59 +0000 (09:34 +0000)
author Zoe Slattery <zoe@php.net>
Sun, 3 Feb 2008 09:34:59 +0000 (09:34 +0000)
committer Zoe Slattery <zoe@php.net>
Sun, 3 Feb 2008 09:34:59 +0000 (09:34 +0000)
diff --git a/generate_phpt.php b/scripts/dev/generate_phpt.php

similarity index 100%

rename from generate_phpt.php

rename to scripts/dev/generate_phpt.php
author	Zoe Slattery <zoe@php.net>
	Sun, 3 Feb 2008 09:34:59 +0000 (09:34 +0000)
committer	Zoe Slattery <zoe@php.net>
	Sun, 3 Feb 2008 09:34:59 +0000 (09:34 +0000)