On 09/11/2018 21:22, Hesham Almatary wrote: > --- > bare/config/devel/spike-1.1.0.cfg | 4 ++-- > source-builder/config/spike-1-1.cfg | 20 ++++++++++---------- > 2 files changed, 12 insertions(+), 12 deletions(-)
OK to push. Chris _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
