[kedr] push by tsy...@gmail.com - Replace tabs with spaces in headers. on 2015-01-03 15:14 GMT
0 views
Skip to first unread message
ke...@googlecode.com
Jan 3, 2015, 10:15:14 AM1/3/15
to eugene....@gmail.com
Revision: 6f42d4bd3f9e
Branch: default
Author: Andrey Tsyvarev <tsyv...@ispras.ru>
Date: Sat Jan 3 15:13:01 2015 UTC
Log: Replace tabs with spaces in headers.
https://code.google.com/p/kedr/source/detail?r=6f42d4bd3f9e
Modified:
/sources/include/kedr/core/kedr.h
/sources/include/kedr/core/kedr_functions_support.h
/sources/include/kedr/fault_simulation/fault_simulation.h
/sources/include/kedr/leak_check/leak_check.h
Branch: default
Author: Andrey Tsyvarev <tsyv...@ispras.ru>
Date: Sat Jan 3 15:13:01 2015 UTC
Log: Replace tabs with spaces in headers.
https://code.google.com/p/kedr/source/detail?r=6f42d4bd3f9e
Modified:
/sources/include/kedr/core/kedr.h
/sources/include/kedr/core/kedr_functions_support.h
/sources/include/kedr/fault_simulation/fault_simulation.h
/sources/include/kedr/leak_check/leak_check.h
Reply all
Reply to author
Forward
0 new messages