Skip to content

Commit 8b6a925

Browse files
committed
Reorganize and get rid of Ahorn-specific files.
1 parent 35147ec commit 8b6a925

8 files changed

Lines changed: 0 additions & 50 deletions

File tree

license.rtf

Lines changed: 0 additions & 1 deletion
This file was deleted.

logo-1024-a.png

-139 KB
Binary file not shown.

setup-ahorn.jl

Lines changed: 0 additions & 29 deletions
This file was deleted.

src/ahorn.bat

Lines changed: 0 additions & 5 deletions
This file was deleted.

src/build_ahorn.bat

Lines changed: 0 additions & 10 deletions
This file was deleted.

src/julia.bat

Lines changed: 0 additions & 5 deletions
This file was deleted.
File renamed without changes.

0 commit comments

Comments
 (0)