040000 tree fa8659badad6665852b4dd030293ac6ccbc1ef53	examples
040000 tree 837ba7526e05cc8ada4cede163d212d73f33ae4a	nimble
040000 tree 85cf2358781690a9071ad259bbb2a095034501ed	npl
040000 tree 7e8093ff205facbe79fdfc598bbe84244fafb8ad	targets
100755 blob 6309ed2b2e10fe3ce75914e2bb31c8a228c0bb1e	update_generated_files.sh