diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-11-13 09:37:50 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-11-13 09:37:50 -0800 |
commit | 20a7d37f74625962c946f027074031d7cd2cbbcb (patch) | |
tree | aefb3ffc7cf040c1e115a4ab58f95e115b50a22b /html/089scenario_filesystem.cc.html | |
parent | a513c19fd61de8c4b253a307ccfaea628b5960ed (diff) | |
download | mu-20a7d37f74625962c946f027074031d7cd2cbbcb.tar.gz |
3673
Diffstat (limited to 'html/089scenario_filesystem.cc.html')
-rw-r--r-- | html/089scenario_filesystem.cc.html | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/html/089scenario_filesystem.cc.html b/html/089scenario_filesystem.cc.html index d0cc5e17..13cc4a90 100644 --- a/html/089scenario_filesystem.cc.html +++ b/html/089scenario_filesystem.cc.html @@ -278,14 +278,6 @@ string munge_resources_contents<span class="Delimiter">(</span><span class="Norm <span class="Normal">delete</span> type<span class="Delimiter">;</span> <span class="Identifier">return</span> result<span class="Delimiter">;</span> <span class="Delimiter">}</span> - -<span class="Normal">void</span> skip_whitespace<span class="Delimiter">(</span>istream& in<span class="Delimiter">)</span> <span class="Delimiter">{</span> - <span class="Normal">while</span> <span class="Delimiter">(</span><span class="Constant">true</span><span class="Delimiter">)</span> <span class="Delimiter">{</span> - <span class="Normal">if</span> <span class="Delimiter">(</span>!has_data<span class="Delimiter">(</span>in<span class="Delimiter">))</span> <span class="Identifier">break</span><span class="Delimiter">;</span> - <span class="Normal">if</span> <span class="Delimiter">(</span>isspace<span class="Delimiter">(</span>in<span class="Delimiter">.</span>peek<span class="Delimiter">()))</span> in<span class="Delimiter">.</span>get<span class="Delimiter">();</span> - <span class="Normal">else</span> <span class="Identifier">break</span><span class="Delimiter">;</span> - <span class="Delimiter">}</span> -<span class="Delimiter">}</span> </pre> </body> </html> |