diff options
| author | Chris Johns <chrisj@rtems.org> | 2014-08-12 12:22:30 +1000 |
|---|---|---|
| committer | Chris Johns <chrisj@rtems.org> | 2014-08-12 12:22:30 +1000 |
| commit | 8db521266516df0b371c87b2f8db4ab58e458668 (patch) | |
| tree | 85a72dc9fe115ca3e6ae890a1c32ddedf8a3bb72 /rtems/.gitignore | |
| parent | sb: Add INI format output to the reports. (diff) | |
| download | rtems-source-builder-8db521266516df0b371c87b2f8db4ab58e458668.tar.bz2 | |
sb: Complete support for INI file reporting.
The INI file format provides a parsable configuration file format.
Diffstat (limited to 'rtems/.gitignore')
| -rw-r--r-- | rtems/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rtems/.gitignore b/rtems/.gitignore index b31949d..20951cb 100644 --- a/rtems/.gitignore +++ b/rtems/.gitignore @@ -5,6 +5,7 @@ tar build *.txt *.html +*.ini #*# .* log_* |