Removing obsolete Jamfile

2023-08-10 21:13:03 +03:00 · 2009-02-19 08:40:41 +00:00
parent 607ac9340e
commit 69e0e4b807
2 changed files with 0 additions and 14 deletions
--- a/1
+++ b/1
@@ -34,4 +34,3 @@ SubInclude TOP ede-tip ;
 SubInclude TOP evoke ;
 SubInclude TOP doc ;
 SubInclude TOP data ;
-SubInclude TOP tools ;