mirror of
https://github.com/MariaDB/server.git
synced 2026-05-15 19:37:16 +02:00
parent
d87b725eeb
commit
4b291588bb
3 changed files with 10 additions and 5 deletions
|
|
@ -1,7 +1,7 @@
|
|||
/*****************************************************************************
|
||||
|
||||
Copyright (c) 2013, 2015, Oracle and/or its affiliates. All Rights Reserved.
|
||||
Copyright (c) 2017, 2019, MariaDB Corporation.
|
||||
Copyright (c) 2017, 2020, MariaDB Corporation.
|
||||
|
||||
This program is free software; you can redistribute it and/or modify it under
|
||||
the terms of the GNU General Public License as published by the Free Software
|
||||
|
|
@ -29,7 +29,6 @@ Created 2013-03-26 Sunny Bains.
|
|||
#ifndef ib0mutex_h
|
||||
#define ib0mutex_h
|
||||
|
||||
#include "my_atomic.h"
|
||||
#include "my_cpu.h"
|
||||
#include "os0event.h"
|
||||
#include "sync0arr.h"
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue