Skip to content
Snippets Groups Projects
Commit bb70c2f8 authored by Santiago Ospina De Los Ríos's avatar Santiago Ospina De Los Ríos
Browse files

Merge branch 'cleanup/remove-todo-file' into 'master' 

[cleanup] Remove outdated TODO file

See merge request core/dune-common!1285
parents 4f02c6b7 66df1e3b
Branches
Tags
1 merge request!1285[cleanup] Remove outdated TODO file
Pipeline #64614 passed with warnings
Stage: .pre
Stage: test
Stage: downstream
Pipeline: Dune Nightly Test

#64617

    Show whitespace changes
    Inline Side-by-side
    Showing
    with 0 additions and 7 deletions
    TODO deleted 100644 → 0
    + 0
    − 7
    View file @ 4f02c6b7
    <!--
    SPDX-FileCopyrightInfo: Copyright © DUNE Project contributors, see file LICENSE.md in module root
    SPDX-License-Identifier: LicenseRef-GPL-2.0-only-with-DUNE-exception
    -->
    Please see the Dune bugtracker at www.dune-project.org for things to do.
    0% or .
    You are about to add 0 people to the discussion. Proceed with caution.
    Please register or to comment