?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: de1074b) | patch
Remove superfluous assert
commit6c87f3a34f7e36abc7f9987485446ede08d5d3fe
authorJakub Jermar <jakub@jermar.eu>
Sun, 4 Mar 2018 18:04:30 +0000 (4 19:04 +0100)
committerJakub Jermar <jakub@jermar.eu>
Tue, 13 Mar 2018 18:01:47 +0000 (13 19:01 +0100)
tree9131fba778812a177418ed6e4068ddbe9969774btree | snapshot (tar.gz zip)
parentde1074b523db106c95d7d8ae3cd751da641e579ecommit | diff
Remove superfluous assert
kernel/generic/src/ipc/ipcrsc.c diff | blob | blame | history
A portable microkernel-based multiserver operating system written from scratch.