• Gabriele M's avatar
    Get file size from JSON · a72b78c3
    Gabriele M authored
    The server now reports the size of the file, so use it and
    require it.
    
    Change-Id: I2248347431b65ae54dd7295872d70aba456ed8d8
    a72b78c3
README.md 1.95 KB