tree b72b7fba951fe1ed0db6bd8dfebfba97a254c3ed
parent b012111b36f3bfe15eea3f4142fa92c28f31a39a
author Marc Kupietz <kupietz@ids-mannheim.de> 1771068430 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1771079479 +0100

Make randomized page order an unfoldable option

Change-Id: I5a61a86af9784ce847a7912b83a97e576e5859f8