projects / bertos.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4ea1462) | patch
Disable proof.
authorasterix <asterix@38d2e660-2303-0410-9eaa-f027e97ec537>
Wed, 28 Sep 2011 13:40:11 +0000 (13:40 +0000)
committerasterix <asterix@38d2e660-2303-0410-9eaa-f027e97ec537>
Wed, 28 Sep 2011 13:40:11 +0000 (13:40 +0000)
commit8a5cb391f6130a8e8de0ae5323ce7004054327f2
tree9e1332f2be38e3006b4b8ebd4f931b512a7dbf13tree | snapshot
parent4ea14629dae386341b2dcc041df2463e2325f7a5commit | diff
Disable proof.

git-svn-id: https://src.develer.com/svnoss/bertos/trunk@5108 38d2e660-2303-0410-9eaa-f027e97ec537
bertos/cpu/cortex-m3/drv/hsmci_sam3.c diff | blob | history
A free, realtime operating system for embedded devices - http://bertos.org/