pgloader/docs
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