Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2024-10-28 12:45:27 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

servo: Merge #4812 - Fix the fix for doc upload (from Manishearth:doc-fix-fix); r=jdm

Browse Source 
Source-Repo: https://github.com/servo/servo
Source-Revision: ff53354ba7716fadc7656891d7b0723a3730e890
This commit is contained in:
Manish Goregaokar 2015-02-03 03:27:51 -07:00
parent 7cd0fd06de
commit 417e07e36b
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
servo/python/servo/post_build_commands.py
View File

@ -10,6 +10,8 @@ import SocketServer
import mozdebug
from shutil import copytree, rmtree, ignore_patterns, copy2
from mach.registrar import Registrar
from mach.decorators import (
CommandArgument,
CommandProvider,