proofgeneral: Delete default.nix for proofgeneral

NixOS · Jun 21, 2014 · 0739331 · 0739331
1 parent 0cf6e55
commit 0739331
Showing 1 changed file with 0 additions and 54 deletions.
diff --git a/pkgs/applications/editors/emacs-modes/proofgeneral/default.nix b/pkgs/applications/editors/emacs-modes/proofgeneral/default.nix