Dimitri Fontaine 9e574ce884 Rename web/ into docs/ ...

This allows to benefit from github pages without having to maintain a
separate orphaned branch.

2016-08-19 20:55:29 +02:00

..

dist

Rename web/ into docs/

2016-08-19 20:55:29 +02:00

howto

Rename web/ into docs/

2016-08-19 20:55:29 +02:00

img

Rename web/ into docs/

2016-08-19 20:55:29 +02:00

src

Rename web/ into docs/

2016-08-19 20:55:29 +02:00

download.html

Rename web/ into docs/

2016-08-19 20:55:29 +02:00

index.html

Rename web/ into docs/

2016-08-19 20:55:29 +02:00

pgloader-moral-license.html

Rename web/ into docs/

2016-08-19 20:55:29 +02:00

sponsors.html

Rename web/ into docs/

2016-08-19 20:55:29 +02:00