diff options
Diffstat (limited to 'releng.datatools/.project')
-rw-r--r-- | releng.datatools/.project | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/releng.datatools/.project b/releng.datatools/.project deleted file mode 100644 index c4f15dbbe..000000000 --- a/releng.datatools/.project +++ /dev/null @@ -1,17 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<projectDescription> - <name>releng.datatools</name> - <comment>The HEAD maps of datatools has not been used for some - time, since it is in maintenance mode only. So, for clarity, I - have deleted the HEAD files. The R1_5_5_maintenance (and/or - R1_5_5_patches) branches are the only ones that should have - valid data. Just in case, I did tag the HEAD versions before I - deleted them with v200806180436FinalHEAD in case there is ever - any doubt or something needs to be restored.</comment> - <projects> - </projects> - <buildSpec> - </buildSpec> - <natures> - </natures> -</projectDescription>
\ No newline at end of file |