diff options
Diffstat (limited to 'config.ini')
-rw-r--r-- | config.ini | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,5 +1,5 @@ spec: - cache-file: spec.pickle + cache-directory: cache paths: - spec - external/rtems/spec |
index : rtems-central | ||
RTEMS Developer Central Repository, a master of masters | devel@rtems.org |
summaryrefslogtreecommitdiffstats |
-rw-r--r-- | config.ini | 2 |
@@ -1,5 +1,5 @@ spec: - cache-file: spec.pickle + cache-directory: cache paths: - spec - external/rtems/spec |