Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-05 21:50:18 +01:00
Code Issues Projects Releases Packages Wiki Activity

auto merge of #4812 : Manishearth/servo/doc-fix-fix, r=jdm

Browse source
This commit is contained in:
bors-servo 2015-02-03 03:27:51 -07:00
commit ff53354ba7
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
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,