2.2. To Save a File

You can save files in the following ways:

Gnome Crystal file names use the .gcrystal extension. You do not have to type the extension, it will be added automatically.