]> mj.ucw.cz Git - saga.git/commit
In the definiton of the soft queue, we should better explicitly mention that
authorMartin Mares <mj@ucw.cz>
Sun, 5 Apr 2009 14:45:47 +0000 (16:45 +0200)
committerMartin Mares <mj@ucw.cz>
Sun, 5 Apr 2009 14:45:47 +0000 (16:45 +0200)
commit89c2cfcb9705555988fd011d56f3a6fad73652ed
tree8556903598a51bb0aad407c81f7b7cb4d59e50a9
parentbc87bdd15a1cc0679f5651114da54756920efb95
In the definiton of the soft queue, we should better explicitly mention that
both sons always keep the same rank.
opt.tex