diff options
author | Kirill Volinsky <Mataes2007@gmail.com> | 2017-12-06 13:00:20 +0300 |
---|---|---|
committer | Kirill Volinsky <Mataes2007@gmail.com> | 2017-12-06 13:09:18 +0300 |
commit | 62202ed10617927d5429bc59898e12a366abe744 (patch) | |
tree | 4960bf1241b59cf009118da6cdab87294b1a95e1 /tools/coverity | |
parent | b30e7ca1c642a3f88659a4346832e653407e1c0f (diff) |
convert all files exept curl and new_gpg to utf-8 BOM
Diffstat (limited to 'tools/coverity')
-rw-r--r-- | tools/coverity/my_free.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/coverity/my_free.cpp b/tools/coverity/my_free.cpp index 93d5ea39ba..f3a75cde68 100644 --- a/tools/coverity/my_free.cpp +++ b/tools/coverity/my_free.cpp @@ -1,4 +1,4 @@ -void* mir_alloc(size_t sz) {
+void* mir_alloc(size_t sz) {
__coverity_alloc__(sz);
}
|