mirrors/pgloader
1
0
Fork 0
mirror of https://github.com/dimitri/pgloader.git synced 2025-08-08 15:27:00 +02:00
Code Issues Projects Releases Wiki Activity
9b80d2914c
pgloader/docs/dist
History
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
..
css Rename web/ into docs/ 2016-08-19 20:55:29 +02:00
fonts Rename web/ into docs/ 2016-08-19 20:55:29 +02:00
js Rename web/ into docs/ 2016-08-19 20:55:29 +02:00
carousel.css Rename web/ into docs/ 2016-08-19 20:55:29 +02:00