ubuntu/+source/menhir:applied/ubuntu/focal-proposed

Last commit made on 2020-02-28
Get this branch:
git clone -b applied/ubuntu/focal-proposed https://git.launchpad.net/ubuntu/+source/menhir
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
applied/ubuntu/focal-proposed
Repository:
lp:ubuntu/+source/menhir

Recent commits

f43503f... by Ralf Treinen <email address hidden>

20200123-2 (patches applied)

Imported using git-ubuntu import.

442b7fb... by Ralf Treinen <email address hidden>

20200123-2 (patches unapplied)

Imported using git-ubuntu import.

781f02d... by Ralf Treinen <email address hidden>

20200123-1 (patches applied)

Imported using git-ubuntu import.

d1a75e6... by Ralf Treinen <email address hidden>

20200123-1 (patches unapplied)

Imported using git-ubuntu import.

290a5a6... by Ralf Treinen <email address hidden>

20190924-1 (patches applied)

Imported using git-ubuntu import.

6cc082d... by Ralf Treinen <email address hidden>

20190924-1 (patches unapplied)

Imported using git-ubuntu import.

6d989fc... by Ralf Treinen <email address hidden>

add "byte" targets to some Makefiles in demos/

Gbp-Pq: demos-enable-bytecode.

fe78204... by Stéphane Glondu

20190626-6 (patches applied)

Imported using git-ubuntu import.

4f90b9d... by Stéphane Glondu

20190626-6 (patches unapplied)

Imported using git-ubuntu import.

aecdb42... by Stéphane Glondu

add "byte" targets to some Makefiles in demos/

Gbp-Pq: demos-enable-bytecode.