Revision 8167ee88 feature_to_c.sh

b/feature_to_c.sh
17 17 
# GNU General Public License for more details.
18 18 
#
19 19 
# You should have received a copy of the GNU General Public License
20 
# along with this program; if not, write to the Free Software
21 
# Foundation, Inc., 51 Franklin Street, Fifth Floor,
22 
# Boston, MA 02110-1301, USA.
20 
# along with this program; if not, see <http://www.gnu.org/licenses/>.
23 21 

  		





  24
  22
  
    
output=$1


  		





  25
  23
  
    
shift


  		












Also available in:
  Unified diff