Do we even know if they used version control? Given the hectic organisation of the code I've seen so far, wouldn't be surprised if it wasn't controlled.
An anonymous dev who interviewed there posted on reddit saying that they didn't use version control, and that all code changes had to go through Karpeles.