Pulling in latest changes from GitHub master repository...

"; // Pull from GitHub `cd $path && /usr/bin/git pull https://github.com/processing/processing-docs/`; $benchmark_end = microtime_float(); $execution_time = round($benchmark_end - $benchmark_start, 4); ?>

Generated files in seconds.