Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
Dockerfile		Dockerfile
Makefile		Makefile
README.md		README.md
init.el		init.el
sometwelf.elf		sometwelf.elf
sources.cfg		sources.cfg

Repository files navigation

twelf-docker

A Docker image for Twelf.

Install Docker

https://docs.docker.com/

How to use it

First run

make build connect

Next runs

make connect

About

A Docker image for Twelf

Report repository

Releases

No releases published

Packages

No packages published

Languages