Opened 4 years ago

Closed 3 years ago

#5618 closed enhancement (fixed)

Add some example config

Reported by: Olivier Mehani Owned by:
Priority: trivial Milestone: 0.11.0
Component: programming Keywords:
Cc: Parent Tickets:


Just a few useful options added in the example config, for visibility.

Attachments (1)

0003-Add-some-example-config.patch (1.3 KB ) - added by Olivier Mehani 4 years ago.

Download all attachments as: .zip

Change History (4)

by Olivier Mehani, 4 years ago

comment:1 by Ben Sturmfels, 3 years ago

Milestone: 0.11.0

comment:2 by Ben Sturmfels, 3 years ago

Merged, thanks Olivier! Sorry for the lag time.

comment:3 by Ben Sturmfels, 3 years ago

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.