Copyright (C) 1991, 1992 Free Software Foundation, Inc.
Copyright (C) 2003-2021. The SimGrid team.
License: LGPL-2.1
Comment: these files used to be part of gdb, but were removed there
Copyright (C) 1991, 1992 Free Software Foundation, Inc.
Copyright (C) 2003-2021. The SimGrid team.
License: LGPL-2.1
Comment: these files used to be part of gdb, but were removed there