diff options
author | Guillermo S. Romero <gsr.b3d@infernal-iceberg.com> | 2011-09-16 21:18:12 +0400 |
---|---|---|
committer | Guillermo S. Romero <gsr.b3d@infernal-iceberg.com> | 2011-09-16 21:18:12 +0400 |
commit | 43259c978e51ab444d4d4d7a6fee2477e6f4a784 (patch) | |
tree | 3fe2308c3ab12b41d1c6252f0f45347a54c2f4ce /build_files/cmake/cmake_static_check_splint.py | |
parent | b3928fe4fd3088f6e09729a9331a76f581714334 (diff) |
SVN maintenance.
Diffstat (limited to 'build_files/cmake/cmake_static_check_splint.py')
-rw-r--r-- | build_files/cmake/cmake_static_check_splint.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build_files/cmake/cmake_static_check_splint.py b/build_files/cmake/cmake_static_check_splint.py index fbbee2351db..7827d3a5120 100644 --- a/build_files/cmake/cmake_static_check_splint.py +++ b/build_files/cmake/cmake_static_check_splint.py @@ -1,6 +1,6 @@ #!/usr/bin/env python -# $Id: +# $Id$ # ***** BEGIN GPL LICENSE BLOCK ***** # # This program is free software; you can redistribute it and/or |