Paul E. McKenney b56ada1209 Merge branches 'doc.2018.08.30a', 'dynticks.2018.08.30b', 'srcu.2018.08.30b' and 'torture.2018.08.29a' into HEAD ... doc.2018.08.30a: Documentation updates dynticks.2018.08.30b: RCU flavor consolidation updates and cleanups srcu.2018.08.30b: SRCU updates torture.2018.08.29a: Torture-test updates		2018-08-30 16:12:53 -07:00
..
bin	torture: Stop overwriting Make.out file with obsolete version	2018-08-29 09:20:48 -07:00
configs	Merge branches 'doc.2018.08.30a', 'dynticks.2018.08.30b', 'srcu.2018.08.30b' and 'torture.2018.08.29a' into HEAD	2018-08-30 16:12:53 -07:00
doc	doc: Fix typo in rcutorture documentation	2018-02-20 16:10:19 -08:00
formal/srcu-cbmc	Merge branch 'linus' into locking/core, to resolve conflicts	2017-11-07 10:32:44 +01:00
.gitignore	torture: Remove obsolete files from rcutorture .gitignore	2016-11-14 10:48:51 -08:00