Changeset 0f401f in git for kernel/gfan.cc


Ignore:
Timestamp:
Jul 14, 2011, 2:48:53 PM (13 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')
Children:
210e07a1e0428569506a64e13a3ad98460b707e3
Parents:
4ecc5a466643ed4b440bdb5eff9c7fe6f19452a4
git-author:
Hans Schoenemann <hannes@mathematik.uni-kl.de>2011-07-14 14:48:53+02:00
git-committer:
Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 12:39:15+01:00
Message:
fixed options.h, numbers.h, restored ideals.cc
File:
1 edited

Legend:

Unmodified
Added
Removed

  • kernel/gfan.cc

    r4ecc5a4 r0f401f  
    1010
    1111#ifdef HAVE_FANS
    12 #include <kernel/options.h>
     12#include <misc/options.h>
    1313#include <kernel/kstd1.h>
    1414#include <kernel/kutil.h>
Note: See TracChangeset for help on using the changeset viewer.