From ef17e2fe4ceb4d18f985f47893e254bbf5b9be95 Mon Sep 17 00:00:00 2001
From: Javier Goizueta <jgoizueta@gmail.com>
Date: Mon, 22 Feb 2016 16:14:52 +0100
Subject: [PATCH] Add header

---
 pg/sql/0.0.1/00_header.sql | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 pg/sql/0.0.1/00_header.sql

diff --git a/pg/sql/0.0.1/00_header.sql b/pg/sql/0.0.1/00_header.sql
new file mode 100644
index 0000000..f422eac
--- /dev/null
+++ b/pg/sql/0.0.1/00_header.sql
@@ -0,0 +1,3 @@
+--DO NOT MODIFY THIS FILE, IT IS GENERATED AUTOMATICALLY FROM SOURCES
+-- Complain if script is sourced in psql, rather than via CREATE EXTENSION
+\echo Use "CREATE EXTENSION crankshaft" to load this file. \quit