mirror of
https://github.com/fish-shell/fish-shell.git
synced 2026-05-30 03:01:15 -03:00
Revert "Merge pull request #1317 from pullreq/cpp"
This reverts commit74135c0600, reversing changes made to6d749789ce. See discussion in #1317
This commit is contained in:
@@ -1,7 +1,3 @@
|
||||
/** \file parse_productions.cpp
|
||||
*/
|
||||
|
||||
|
||||
#include "parse_productions.h"
|
||||
|
||||
using namespace parse_productions;
|
||||
|
||||
Reference in New Issue
Block a user