Agda-2.3.2.2: test/succeed/LineEndings/Dos.agda

module LineEndings.Dos where

postulate ThisWorks : Set