[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[IMP-dev] domino



Keren proposes renaming domino2 to domino (and domino to domino_old or something similar that doesn't break various scripts). In general, changing external source code to use then renamed module would just be a matter of running sed (I'll provide the sed command details if we move it). Any opposition?