Did I get the right repository or was it not pushed?
Pushed now. Paolo _______________________________________________ help-smalltalk mailing list [email protected] http://lists.gnu.org/mailman/listinfo/help-smalltalk
- [Help-smalltalk] [bug] smalltalk-mode.el not good with... Jeronimo Pellegrini
- [Help-smalltalk] Re: [bug] smalltalk-mode.el not ... Paolo Bonzini
- [Help-smalltalk] Re: [bug] smalltalk-mode.el ... Paolo Bonzini
- Re: [Help-smalltalk] Re: [bug] smalltalk-... Jeronimo Pellegrini
- Re: [Help-smalltalk] Re: [bug] smallt... Paolo Bonzini
- Re: [Help-smalltalk] Re: [bug] s... Jeronimo Pellegrini
