org.texi (Deadlines and scheduling): Minor enhancement
commit4c426b003d730582ac8af77c6fc76d79b2eec1ce
authorBastien Guerry <bzg@altern.org>
Tue, 9 Apr 2013 11:44:25 +0000 (9 13:44 +0200)
committerBastien Guerry <bzg@altern.org>
Tue, 9 Apr 2013 11:44:25 +0000 (9 13:44 +0200)
tree31d7d11f4c232ec56696ce9ad197645c89a212ad
parente664fc89d57f6231a4acc72d15b9f61fdbdffc4a
org.texi (Deadlines and scheduling): Minor enhancement

* org.texi (Deadlines and scheduling): Tiny enhancement.
doc/org.texi