]> rtime.felk.cvut.cz Git - frescor/frsh.git/commitdiff
Generic allocator: unify terminology (scheduler/allocator)
authorMichal Sojka <sojkam1@fel.cvut.cz>
Thu, 16 Apr 2009 20:58:10 +0000 (22:58 +0200)
committerMichal Sojka <sojkam1@fel.cvut.cz>
Thu, 23 Apr 2009 11:20:52 +0000 (13:20 +0200)
In the past allocator was called scheduler and this name was not
completely replaced in the sources until now.


No differences found