Skip to content
Commit 2b068fb3 authored by Ralf Treinen's avatar Ralf Treinen
Browse files

menhir-doc: set MA:foreign

parent 93f9dc21
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment