Dave Beasley, one of the original Star Wars model makers who remained at Apogee, showed me the nibbler he used when I worked there. He said it was the same one to create the notches on the Falcon portions that he worked on. It was a standard hand nibbler. I bought the same one, and I still have mine:
Klein Tools, Inc., Part No. 76011B
FWIW