extras/.gitignore: julia_message_types_h.jl -> webrepl_msgtypes_h.jl

Sacha0 · Sep 25, 2012 · abad6d0 · abad6d0
1 parent d0f8952
commit abad6d0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/extras/.gitignore b/extras/.gitignore
@@ -1,3 +1,3 @@
 /glpk-*
 /glpk_h.jl
-/julia_message_types_h.jl
+/webrepl_msgtypes_h.jl