Project

General

Profile

Feature #2355

miner: use a profile named "default" if exists

Added by David Demelier 3 months ago. Updated 2 months ago.

Status:
Closed
Priority:
Normal
Category:
miner
Target version:
Start date:
09/12/2019
Due date:
% Done:

0%

Estimated time:
MFD after:
MFD revision:
Branch:
default
Bookmark:
@
Platform:

Description

To avoid creating a [general] section, a [profile] with a name of "default"
should be used if none was specified.

History

#1

Updated by David Demelier 3 months ago

  • Target version set to 0.1.0
#2

Updated by David Demelier 2 months ago

  • Status changed from New to Closed

Also available in: Atom PDF