Delete history.php~