diff options
| author | Chris Johns <chrisj@rtems.org> | 2018-10-03 11:38:09 +1000 |
|---|---|---|
| committer | Chris Johns <chrisj@rtems.org> | 2018-10-03 11:38:09 +1000 |
| commit | 3bd8def2106f831d3af4fca61bb00881b3a6e2c0 (patch) | |
| tree | 55cb04be4a8178e24caba2890bcd016acb5c596f /config/rtems-version.ini | |
| parent | 5416cfa39dd6b386958571f925b72a15fd63372b (diff) | |
config: Consolidate the version information into a single configuration file
Diffstat (limited to '')
| -rw-r--r-- | config/rtems-version.ini | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/config/rtems-version.ini b/config/rtems-version.ini new file mode 100644 index 0000000..98d0f0f --- /dev/null +++ b/config/rtems-version.ini @@ -0,0 +1,8 @@ +# +# RTEMS Tools Project (http://www.rtems.org/) +# +# RTEMS Version +# + +[version] +revision = 5.0.not_released |