Re: Rename src/

octave-maintainers

From:	Michael D Godfrey
Subject:	Re: Rename src/
Date:	Tue, 14 Aug 2012 13:43:32 -0400
User-agent:	Mozilla/5.0 (X11; Linux x86_64; rv:14.0) Gecko/20120717 Thunderbird/14.0

On 08/14/2012 12:39 PM, Jordi Gutiérrez Hermoso wrote:

One last thing in the source tree reorganisation. Can we rename src/ to interp/?

- Jordi G. H.

I vote yes. :-)

Current Thread

[Next in Thread]

Rename src/, Jordi Gutiérrez Hermoso, 2012/08/14
- Re: Rename src/, Michael D Godfrey <=
  - Re: Rename src/, Robert T. Short, 2012/08/14
    - Re: Rename src/, Laurent Hoeltgen, 2012/08/14
    - Re: Rename src/, Daniel J Sebald, 2012/08/14
    - Re: Rename src/, Robert T. Short, 2012/08/14
    - Re: Rename src/, Daniel J Sebald, 2012/08/14
    - Re: Rename src/, Daniel J Sebald, 2012/08/14
- Re: Rename src/, Rik, 2012/08/14
  - Re: Rename src/, Jordi Gutiérrez Hermoso, 2012/08/14
    - Re: Rename src/, Mike Miller, 2012/08/14
    - Re: renaming libcruft, Rik, 2012/08/14