Well, I can tell you it was. The GPL only forces you to distribute the code to whoever got the binaries, and employees don't count. So internal distribution is pretty much "do what you want".