Skip to content

G
gitignore
Switch branch/tag
History Find file
  • Jason Gross's avatar
    Update Coq.gitignore · 46d36eb7
    Jason Gross authored 
    Add various files that show up when you run tactics (the *.cache in 8.4 and 8.5, .*.cache in 8.6), build plugins (the various OCaml files), and for the native compiler of Coq 8.5.
    46d36eb7
Name
Last commit
 Last update
.github Loading commit data...
Global Loading commit data...
Actionscript.gitignore Loading commit data...
Ada.gitignore Loading commit data...
Agda.gitignore Loading commit data...
Android.gitignore Loading commit data...
AppEngine.gitignore Loading commit data...
AppceleratorTitanium.gitignore Loading commit data...
ArchLinuxPackages.gitignore Loading commit data...
Autotools.gitignore Loading commit data...
C++.gitignore Loading commit data...
C.gitignore Loading commit data...
CFWheels.gitignore Loading commit data...
CMake.gitignore Loading commit data...
CONTRIBUTING.md Loading commit data...
CUDA.gitignore Loading commit data...
CakePHP.gitignore Loading commit data...
ChefCookbook.gitignore Loading commit data...
Clojure.gitignore Loading commit data...
CodeIgniter.gitignore Loading commit data...
CommonLisp.gitignore Loading commit data...
Composer.gitignore Loading commit data...
Concrete5.gitignore Loading commit data...
Coq.gitignore Loading commit data...
CraftCMS.gitignore Loading commit data...
D.gitignore Loading commit data...
DM.gitignore Loading commit data...
Dart.gitignore Loading commit data...
Delphi.gitignore Loading commit data...
Drupal.gitignore Loading commit data...
EPiServer.gitignore Loading commit data...
Eagle.gitignore Loading commit data...
Elisp.gitignore Loading commit data...
Elixir.gitignore Loading commit data...
Elm.gitignore Loading commit data...
Erlang.gitignore Loading commit data...
ExpressionEngine.gitignore Loading commit data...
ExtJs.gitignore Loading commit data...
Fancy.gitignore Loading commit data...
Finale.gitignore Loading commit data...
ForceDotCom.gitignore Loading commit data...
Fortran.gitignore Loading commit data...
FuelPHP.gitignore Loading commit data...
GWT.gitignore Loading commit data...
Gcov.gitignore Loading commit data...
GitBook.gitignore Loading commit data...
Go.gitignore Loading commit data...
Gradle.gitignore Loading commit data...
Grails.gitignore Loading commit data...
Haskell.gitignore Loading commit data...
IGORPro.gitignore Loading commit data...
Idris.gitignore Loading commit data...
Java.gitignore Loading commit data...
Jboss.gitignore Loading commit data...
Jekyll.gitignore Loading commit data...
Joomla.gitignore Loading commit data...
Julia.gitignore Loading commit data...
KiCad.gitignore Loading commit data...
Kohana.gitignore Loading commit data...
LICENSE Loading commit data...
LabVIEW.gitignore Loading commit data...
Laravel.gitignore Loading commit data...
Leiningen.gitignore Loading commit data...
LemonStand.gitignore Loading commit data...
Lilypond.gitignore Loading commit data...
Lithium.gitignore Loading commit data...
Lua.gitignore Loading commit data...
Magento.gitignore Loading commit data...
Maven.gitignore Loading commit data...
Mercury.gitignore Loading commit data...
MetaProgrammingSystem.gitignore Loading commit data...
Nanoc.gitignore Loading commit data...
Nim.gitignore Loading commit data...
Node.gitignore Loading commit data...
OCaml.gitignore Loading commit data...
Objective-C.gitignore Loading commit data...
Opa.gitignore Loading commit data...
OpenCart.gitignore Loading commit data...
OracleForms.gitignore Loading commit data...
Packer.gitignore Loading commit data...
Perl.gitignore Loading commit data...
Phalcon.gitignore Loading commit data...
PlayFramework.gitignore Loading commit data...
Plone.gitignore Loading commit data...
Prestashop.gitignore Loading commit data...
Processing.gitignore Loading commit data...
Python.gitignore Loading commit data...
Qooxdoo.gitignore Loading commit data...
Qt.gitignore Loading commit data...
R.gitignore Loading commit data...
README.md Loading commit data...
ROS.gitignore Loading commit data...
Rails.gitignore Loading commit data...
RhodesRhomobile.gitignore Loading commit data...
Ruby.gitignore Loading commit data...
Rust.gitignore Loading commit data...
SCons.gitignore Loading commit data...
Sass.gitignore Loading commit data...
Scala.gitignore Loading commit data...
Scheme.gitignore Loading commit data...
Scrivener.gitignore Loading commit data...
Sdcc.gitignore Loading commit data...
SeamGen.gitignore Loading commit data...
SketchUp.gitignore Loading commit data...
Smalltalk.gitignore Loading commit data...
Stella.gitignore Loading commit data...
SugarCRM.gitignore Loading commit data...
Swift.gitignore Loading commit data...
Symfony.gitignore Loading commit data...
SymphonyCMS.gitignore Loading commit data...
TeX.gitignore Loading commit data...
Terraform.gitignore Loading commit data...
Textpattern.gitignore Loading commit data...
TurboGears2.gitignore Loading commit data...
Typo3.gitignore Loading commit data...
Umbraco.gitignore Loading commit data...
Unity.gitignore Loading commit data...
UnrealEngine.gitignore Loading commit data...
VVVV.gitignore Loading commit data...
VisualStudio.gitignore Loading commit data...
Waf.gitignore Loading commit data...
WordPress.gitignore Loading commit data...
Xojo.gitignore Loading commit data...
Yeoman.gitignore Loading commit data...
Yii.gitignore Loading commit data...
ZendFramework.gitignore Loading commit data...
Zephir.gitignore Loading commit data...