Project

General

Profile

« Previous | Next » 

Revision 885cc0df

ID885cc0df1dc134345a47cb9876538589694fd522
Parent e0e6eb62
Child 7eb41195

Added by Hans-Peter Deifel 9 months ago

Add .merlin file to gitignore

This is generated by the editor completion framework called merlin:
https://github.com/ocaml/merlin

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences