projects / iotcloud.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1292e9d) | patch
Minor changes to proof
authortkwa <kwathomas0@gmail.com>
Tue, 2 Aug 2016 23:48:24 +0000 (16:48 -0700)
committertkwa <kwathomas0@gmail.com>
Tue, 2 Aug 2016 23:48:24 +0000 (16:48 -0700)
commitf40df7bf3734c9d10f9e102193a7818f526aeca0
tree6a1c794c7546d1f2faf493e90066fa55419cbc8btree | snapshot
parent1292e9dabec5edaaa03506032eb4400a261d376ecommit | diff
Minor changes to proof
doc/iotcloud.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.