100644 blob 67da834dfbc45fa789cd9782dcd8492eb3090bb1	configuration.apt
100644 blob 90e0f6d5a910331cb8c9054748e10e89c28bd352	goals.apt
100644 blob 031ddd9b18ec356f18f8885b939c80656ad94ef2	introduction.apt