5 Nov
2010
5 Nov
'10
2:49 p.m.
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?