diff options
| author | Luca Barbieri <[email protected]> | 2010-08-11 10:51:28 +0200 |
|---|---|---|
| committer | Luca Barbieri <[email protected]> | 2010-08-11 11:08:51 +0200 |
| commit | eee5cea385b6871fa934a7882b2f214e3cbace8b (patch) | |
| tree | 7a5ed40f8a0f1ca4dce90e2dc7f140714f245b7f /.gitignore | |
| parent | 0dcf0f9dfaa23b08d2bc20f8cbd02550c2632e52 (diff) | |
auxiliary: fix u_split_prim naming convention
Current practice is to start identifiers with "util_" instead of "u_".
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions