[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: When should ralloc.c be used?
From: |
Eli Zaretskii |
Subject: |
Re: When should ralloc.c be used? |
Date: |
Sun, 30 Oct 2016 18:13:21 +0200 |
> From: Stefan Monnier <address@hidden>
> Date: Sat, 29 Oct 2016 10:55:20 -0400
>
> BTW, how large is that single file (I'm curious if its size is
> significantly different from the 3.2MB I got for my dumped.elc)?
Its size is 4.2MB. It's basically a concatenation of all the
preloaded *.elc files, with all but a single preamble removed.
- Re: When should ralloc.c be used?, (continued)
- Re: When should ralloc.c be used?, Daniel Colascione, 2016/10/27
- Re: When should ralloc.c be used? (WAS: bug#24358), Eli Zaretskii, 2016/10/28
- Re: When should ralloc.c be used? (WAS: bug#24358), Eli Zaretskii, 2016/10/28
- Re: When should ralloc.c be used? (WAS: bug#24358), Fabrice Popineau, 2016/10/27
- Re: When should ralloc.c be used? (WAS: bug#24358), Eli Zaretskii, 2016/10/27
- Re: When should ralloc.c be used? (WAS: bug#24358), Richard Stallman, 2016/10/27
- Re: When should ralloc.c be used? (WAS: bug#24358), Eli Zaretskii, 2016/10/28
- Re: When should ralloc.c be used? (WAS: bug#24358), Richard Stallman, 2016/10/28
- Re: When should ralloc.c be used? (WAS: bug#24358), Eli Zaretskii, 2016/10/29
- Re: When should ralloc.c be used?, Stefan Monnier, 2016/10/29
- Re: When should ralloc.c be used?,
Eli Zaretskii <=
- Re: When should ralloc.c be used?, Stefan Monnier, 2016/10/30
- Re: When should ralloc.c be used? (WAS: bug#24358), Richard Stallman, 2016/10/29
- Re: When should ralloc.c be used? (WAS: bug#24358), Eli Zaretskii, 2016/10/29
- Re: When should ralloc.c be used? (WAS: bug#24358), Richard Stallman, 2016/10/31
- Re: When should ralloc.c be used? (WAS: bug#24358), Eli Zaretskii, 2016/10/31
- Re: When should ralloc.c be used?, Stefan Monnier, 2016/10/28
- Re: When should ralloc.c be used? (WAS: bug#24358), Richard Stallman, 2016/10/27
- Re: When should ralloc.c be used? (WAS: bug#24358), Paul Eggert, 2016/10/27
- Re: When should ralloc.c be used? (WAS: bug#24358), Richard Stallman, 2016/10/27
- Re: When should ralloc.c be used? (WAS: bug#24358), Richard Stallman, 2016/10/27