Eelco Dolstra c20c082383 <envar> -> <literal>		2020-07-23 18:27:11 +02:00
..
advanced-topics.xml	Merge pull request #2995 from tweag/post-build-hook	2019-08-07 15:02:29 +02:00
cores-vs-jobs.xml	<envar> -> <literal>	2020-07-23 18:27:11 +02:00
diff-hook.xml	Remove subtitles	2020-07-23 18:26:48 +02:00
distributed-builds.xml	<envar> -> <literal>	2020-07-23 18:27:11 +02:00
post-build-hook.xml	Remove subtitles	2020-07-23 18:26:48 +02:00