diff options
| author | Michal Simek | 2019-09-25 13:14:36 +0200 |
|---|---|---|
| committer | Michal Simek | 2019-10-08 09:55:11 +0200 |
| commit | c0c33d9b9b8f73c4f07d33242b80233eac146cd8 (patch) | |
| tree | ef0e47ca73be89aa688d1dde524d07b8844029be /doc/index.rst | |
| parent | e0418347f9aa0f5099dfc1dac8eafceb98e38ccf (diff) | |
microblaze: Remove additional headers
There were several changes in past in this file without removing headers
(watchdog cleanup, soft reset, etc). That's why remove additional useless
headers.
Signed-off-by: Michal Simek <michal.simek@xilinx.com>
Diffstat (limited to 'doc/index.rst')
0 files changed, 0 insertions, 0 deletions