Write a new feed each time, reading from versions.json
authorJaime Marquínez Ferrándiz <jaimemf93@gmail.com>
Fri, 29 Mar 2013 18:42:33 +0000 (19:42 +0100)
committerJaime Marquínez Ferrándiz <jaimemf93@gmail.com>
Fri, 29 Mar 2013 18:42:33 +0000 (19:42 +0100)
commit6060788083df366dae1cd75d4c1eac8e46918765
tree170310dbfee0ee608a57c9864ce6472a72d51401
parentdb74c11d2b8ceea7ba04ef9cc3086d0209de10d4
Write a new feed each time, reading from versions.json
devscripts/gh-pages/update-feed.py
devscripts/release.sh