| Index: platforms/stm/disco_dartino/src/page_allocator.cc
|
| diff --git a/platforms/stm/disco_fletch/src/page_allocator.cc b/platforms/stm/disco_dartino/src/page_allocator.cc
|
| similarity index 97%
|
| rename from platforms/stm/disco_fletch/src/page_allocator.cc
|
| rename to platforms/stm/disco_dartino/src/page_allocator.cc
|
| index 81ed4c59a583f410fa21290805e4c7d2e271df28..2cbc7efa6c33b44723a919d1c19ab7f8881717d9 100644
|
| --- a/platforms/stm/disco_fletch/src/page_allocator.cc
|
| +++ b/platforms/stm/disco_dartino/src/page_allocator.cc
|
| @@ -2,7 +2,7 @@
|
| // for details. All rights reserved. Use of this source code is governed by a
|
| // BSD-style license that can be found in the LICENSE.md file.
|
|
|
| -#include "platforms/stm/disco_fletch/src/page_allocator.h"
|
| +#include "platforms/stm/disco_dartino/src/page_allocator.h"
|
|
|
| #include "src/shared/assert.h"
|
|
|
|
|