Project

General

Profile

Actions

Bug #3362

open

New commit -- add missing characters

Added by Gianluca Corsini about 1 year ago.

Status:
Feedback
Priority:
Normal
Start date:
2023-03-26
Due date:
% Done:

0%

Estimated time:

Description

Hi,
I've pushed a little fix that you might want to pull before making any changes requiring a merge :)

The link to the commit is https://redmine.laas.fr/projects/bib/repository/bib/revisions/195739208e285cfa6a5fcd60d0164e47e0a5aa94

No data to display

Actions

Also available in: Atom PDF