"$savebinary" 修訂間的差異

於 2024年1月21日 (日) 14:03 的最新修訂

The output of gmsh file will be saved in binary format to save space