make "rename buffer" feature optional
commitc42e43da777960de5a26617532dc8331978eac89
authorgrischka <grischka>
Wed, 23 Jun 2010 22:07:25 +0000 (24 00:07 +0200)
committergrischka <grischka>
Wed, 23 Jun 2010 22:07:25 +0000 (24 00:07 +0200)
tree81cfca8939fa31b80344124d45f5816b0ea16501
parent6ba6b0141e8a60c0a188a134d4e00428280549e7
make "rename buffer" feature optional
eproject.el