diff options
Diffstat (limited to 'doc/started_ada/Makefile')
-rw-r--r-- | doc/started_ada/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/started_ada/Makefile b/doc/started_ada/Makefile index 5df0ae5ab8..c90c5f90eb 100644 --- a/doc/started_ada/Makefile +++ b/doc/started_ada/Makefile @@ -7,7 +7,6 @@ # PROJECT=started_ada -DISTRIBUTION_LEVEL=public include ../Make.config |