No OneTemporary
Actions

Size

369 B

Referenced Files

None

Subscribers

None

View Options

	diff --git a/_header.php b/_header.php
	new file mode 100644
	index 0000000..a945788
	--- /dev/null
	+++ b/_header.php
	@@ -0,0 +1,5 @@
	+<?php
	+ //Kludge to be able to load libraries both in Pluton and in stand-alone tool version.
	+ $tool_directory = getcwd() . '/tools/SourceTemplatesGenerator';
	+ ini_set('include_path', ini_get('include_path') . ":$tool_directory");
	+?>