git.iko.soy/Idris-dev
on master help sign in
Merge pull request #233 from miikka/remove-garbage

Remove extraneous files from repo

commite21019804f1b700195d3d7056b76548e2cc6a510 authorEdwin Brady <edwin.brady@gmail.com> dateWed 13 Mar 2013, 08:22 (14 years ago) parentb8c751e4a44803
8 files changed
compare with master
unifiedsplit
contribs/lib/._simpleparser.idr contribs/lib/SQLite3/._Makefile contribs/lib/SQLite3/._sqlexpr.idr contribs/lib/SQLite3/._sqlite3.idr contribs/lib/SQLite3/._sqlite3api.c contribs/lib/SQLite3/._sqlite3api.h contribs/lib/SQLite3/._testunit.idr git-credential-osxkeychain
contribs/lib/._simpleparser.idrdeleted

Binary file not shown.

contribs/lib/SQLite3/._Makefiledeleted

Binary file not shown.

contribs/lib/SQLite3/._sqlexpr.idrdeleted

Binary file not shown.

contribs/lib/SQLite3/._sqlite3.idrdeleted

Binary file not shown.

contribs/lib/SQLite3/._sqlite3api.cdeleted

Binary file not shown.

contribs/lib/SQLite3/._sqlite3api.hdeleted

Binary file not shown.

contribs/lib/SQLite3/._testunit.idrdeleted

Binary file not shown.

git-credential-osxkeychaindeleted

Binary file not shown.