[tip:sched/urgent] sched/doc: Fix generation of device-drivers

2013-11-27 Thread tip-bot for Nicolas Dichtel
Commit-ID: 96739d6e548e16d76de39d059e1e39e70c187fff Gitweb: http://git.kernel.org/tip/96739d6e548e16d76de39d059e1e39e70c187fff Author: Nicolas Dichtel AuthorDate: Wed, 20 Nov 2013 09:50:28 +0100 Committer: Ingo Molnar CommitDate: Wed, 27 Nov 2013 11:05:23 +0100 sched/doc: Fix

[tip:sched/urgent] sched/doc: Fix generation of device-drivers

2013-11-27 Thread tip-bot for Nicolas Dichtel
Commit-ID: 96739d6e548e16d76de39d059e1e39e70c187fff Gitweb: http://git.kernel.org/tip/96739d6e548e16d76de39d059e1e39e70c187fff Author: Nicolas Dichtel nicolas.dich...@6wind.com AuthorDate: Wed, 20 Nov 2013 09:50:28 +0100 Committer: Ingo Molnar mi...@kernel.org CommitDate: Wed, 27 Nov