Custom Query (545 matches)
Results (106 - 108 of 545)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#164 | wontfix | Random::normal() as an alternative for Random::gauss() | ||
Description |
[0293cb1b9e9c] adds |
|||
#165 | fixed | Standard error/warning message format in the unifier script | ||
Description |
[f8832dc16d45] modifies the script to use standard error/warning message format. |
|||
#166 | fixed | Safer migration script | ||
Description |
Maybe we should have a safer migration script (rename script). The current one in [560e4b6d020d] replaces all occurrences of graph, edge etc. whether it is a whole word or not. Thus it replaces graphic by digraphic, wedge by warc etc. It is not a huge problem for us, but since this script became a tool for users too, I prefer to make it (at least a little bit) safer. |