100644 blob 2f1f860798384dc242af76366addb15bd6f541f6	configuration.apt
100644 blob 44c2d7f98223e445940fa45bd4c6cad7d4ea4b8d	goals.apt
100644 blob d75292ee9c2c359346164379ab220ea32895285e	introduction.apt