wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-12 01:10:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Echo/scripts
History
Erik Bernhardson 71c7e02858 Directory reshuffle, add dev tools 
* Port Flow Makefile to Echo
* Move resources to Resources.php

Change-Id: I75e96cc1e51a7768600ffc083550fc94ea9d1e6c
2014-08-01 22:38:41 +00:00
..
generatecss.php Directory reshuffle, add dev tools 2014-08-01 22:38:41 +00:00
remotecheck.sh Directory reshuffle, add dev tools 2014-08-01 22:38:41 +00:00