What text editors/IDEs did they use?



video: https://www.youtube.com/watch?v=yz3qBXEhRGc

Thanks!